summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorHolger Hans Peter Freyther <holger@moiji-mobile.com>2016-04-13 18:47:15 -0400
committerHolger Hans Peter Freyther <holger@moiji-mobile.com>2016-04-13 18:47:15 -0400
commitd16321801d458909b8c5594060bbdf17456acae2 (patch)
tree1eba8858f5d7f842db63ff1d22afddf2ae132895 /doc
parentd8fb14226f798c9daf948d374a982583cd4ee202 (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 'doc')
0 files changed, 0 insertions, 0 deletions