author | Claus Gittinger <cg@exept.de> |
Tue, 26 Mar 2019 19:01:31 +0100 | |
changeset 538 | 532fab2fb2a5 |
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'. |