diff options
author | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 19:00:49 -0400 |
---|---|---|
committer | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 19:00:49 -0400 |
commit | c386867bafd43cbaa998146e409882cda75a9c80 (patch) | |
tree | 657e7c893d0ad3e46fb51b2da4763406e12eb9c9 | |
parent | 1465a8668ddb925494d5a1ef5adffc864a924459 (diff) |
jenkins: Add the build script from jenkins here
This can be used to replicate a build issue more easily.
-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..57da9fa --- /dev/null +++ b/contrib/jenkins.sh @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +set -ex + +autoreconf --install --force +./configure +$MAKE $PARALLEL_MAKE |