add contrib/jenkins.sh, for gerrit build bot

Change-Id: If8887525b0062090e9445a35e32b03e3b8e7eede
This commit is contained in:
Neels Hofmeyr 2016-10-14 15:17:32 +02:00
parent aa15d62a8c
commit 76b98cf236
1 changed files with 7 additions and 0 deletions

7
contrib/jenkins.sh Executable file
View File

@ -0,0 +1,7 @@
#!/bin/sh
set -ex
autoreconf --install --force
./configure
$MAKE $PARALLEL_MAKE
$MAKE check \
|| cat-testlogs.sh