diff options
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh deleted file mode 100755 index c341d051..00000000 --- a/contrib/jenkins.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh -# jenkins build helper script for libosmo-sccp. This is how we build on jenkins.osmocom.org - -. $(dirname "$0")/jenkins_common.sh - -ENABLE_SANITIZE="--enable-sanitize" - -if [ "x$label" = "xFreeBSD_amd64" ]; then - ENABLE_SANITIZE="" -fi - -src_dir="$PWD" -build() { - build_dir="$1" - - prep_build "$src_dir" "$build_dir" - - "$src_dir"/configure --enable-static $ENABLE_SANITIZE CFLAGS="-Werror" CPPFLAGS="-Werror" - $MAKE V=1 $PARALLEL_MAKE check \ - || cat-testlogs.sh -} - -# verify build in dir other than source tree -build builddir -# verify build in source tree -build . - -# do distcheck only once, which is fine from built source tree, since distcheck -# is well separated from the source tree state. -$MAKE distcheck \ - || cat-testlogs.sh - -osmo-clean-workspace.sh |