jenkins: Add the build script from jenkins here

This can be used to replicate a build issue more easily.
This commit is contained in:
Holger Hans Peter Freyther 2016-04-13 18:59:37 -04:00
parent b7c45ce7be
commit 0ee4af7405
1 changed files with 9 additions and 0 deletions

9
contrib/jenkins.sh Executable file
View File

@ -0,0 +1,9 @@
#!/usr/bin/env bash
set -ex
autoreconf --install --force
./configure
$MAKE
# currently broken $MAKE $PARALLEL_MAKE
# currently broken $MAKE distcheck