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.
This commit is contained in:
Holger Hans Peter Freyther 2016-04-13 18:47:15 -04:00
parent d8fb14226f
commit d16321801d
1 changed files with 6 additions and 0 deletions

6
contrib/jenkins.sh Executable file
View File

@ -0,0 +1,6 @@
#!/usr/bin/env bash
autoreconf --install --force
./configure --enable-static
$MAKE $PARALLEL_MAKE
$MAKE distcheck