| author | sr |
| Tue, 10 Oct 2017 15:03:59 +0200 | |
| changeset 388 | c972ed7d867a |
| 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'. |