diff options
| author | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 18:47:15 -0400 |
|---|---|---|
| committer | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 18:47:15 -0400 |
| commit | d16321801d458909b8c5594060bbdf17456acae2 (patch) | |
| tree | 1eba8858f5d7f842db63ff1d22afddf2ae132895 /src | |
| parent | d8fb14226f798c9daf948d374a982583cd4ee202 (diff) | |
jenkins: Add build script used by jenkins on our public CI
The actual script (removed unused and commented out handling) as
invoked by jenkins. This can be used to locally try to reproduce
the build.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions