| author | sr |
| Tue, 10 Oct 2017 14:44:51 +0200 | |
| changeset 367 | 5cfeb3f93641 |
| parent 112 | 8df32339b6cd |
| permissions | -rw-r--r-- |
|
112
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1 |
Set of simple shell scripts to build projects. Used by Jenkins jobs. |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
2 |
|
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
3 |
This is a poor-mans implementation for those who don't like 'rakefiles'. |