| author | sr |
| Thu, 14 Sep 2017 11:38:31 +0200 | |
| changeset 339 | 0aba6d1a9337 |
| 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'. |