diff options
author | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 18:59:37 -0400 |
---|---|---|
committer | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 18:59:37 -0400 |
commit | 0ee4af7405cf6c26796ca8c4194e8ee8bfba843e (patch) | |
tree | dcc702a1dace118eb03d704cbb3a5349c7f75aea | |
parent | b7c45ce7bec29094180998d0a6aad88607ca3bf6 (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 | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh new file mode 100755 index 0000000..7a388c2 --- /dev/null +++ b/contrib/jenkins.sh @@ -0,0 +1,9 @@ +#!/usr/bin/env bash + +set -ex + +autoreconf --install --force +./configure +$MAKE +# currently broken $MAKE $PARALLEL_MAKE +# currently broken $MAKE distcheck |