diff options
| author | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 18:47:15 -0400 |
|---|---|---|
| committer | Holger Hans Peter Freyther <holger@moiji-mobile.com> | 2016-04-13 18:47:15 -0400 |
| commit | d16321801d458909b8c5594060bbdf17456acae2 (patch) | |
| tree | 1eba8858f5d7f842db63ff1d22afddf2ae132895 | |
| parent | d8fb14226f798c9daf948d374a982583cd4ee202 (diff) | |
jenkins: Add build script used by jenkins on our public CI
The actual script (removed unused and commented out handling) as
invoked by jenkins. This can be used to locally try to reproduce
the build.
| -rwxr-xr-x | contrib/jenkins.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh new file mode 100755 index 00000000..524fa8b0 --- /dev/null +++ b/contrib/jenkins.sh @@ -0,0 +1,6 @@ +#!/usr/bin/env bash + +autoreconf --install --force +./configure --enable-static +$MAKE $PARALLEL_MAKE +$MAKE distcheck |