diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2016-10-14 15:17:32 +0200 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2016-10-17 17:53:26 +0200 |
commit | 76b98cf236412c3e4ea68a6a16f482d41c9c4198 (patch) | |
tree | 43af0604665e80bfb5c1a76ca4869b755b0d44f1 | |
parent | aa15d62a8cac2bfa30a336b76cd18f3b9647dd0d (diff) |
add contrib/jenkins.sh, for gerrit build bot
Change-Id: If8887525b0062090e9445a35e32b03e3b8e7eede
-rwxr-xr-x | contrib/jenkins.sh | 7 |
1 files changed, 7 insertions, 0 deletions
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 |