| commit | 76b98cf236412c3e4ea68a6a16f482d41c9c4198 | [log] [tgz] |
|---|---|---|
| author | Neels Hofmeyr <neels@hofmeyr.de> | Fri Oct 14 15:17:32 2016 +0200 |
| committer | Neels Hofmeyr <neels@hofmeyr.de> | Mon Oct 17 17:53:26 2016 +0200 |
| tree | 43af0604665e80bfb5c1a76ca4869b755b0d44f1 | |
| parent | aa15d62a8cac2bfa30a336b76cd18f3b9647dd0d [diff] [blame] |
add contrib/jenkins.sh, for gerrit build bot Change-Id: If8887525b0062090e9445a35e32b03e3b8e7eede
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh new file mode 100755 index 0000000..80d6612 --- /dev/null +++ b/contrib/jenkins.sh
@@ -0,0 +1,7 @@ +#!/bin/sh +set -ex +autoreconf --install --force +./configure +$MAKE $PARALLEL_MAKE +$MAKE check \ + || cat-testlogs.sh