| author | sr |
| Tue, 29 May 2018 16:08:58 +0200 | |
| changeset 524 | c1a3ba8153b5 |
| 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'. |