aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2023-07-11 11:33:17 +0200
committerOliver Smith <osmith@sysmocom.de>2023-07-11 14:52:07 +0200
commit681f965710dc7cf31a7f1d6a4d795152a9c5b89f (patch)
treecca8ee6a9be1366d85c9d5f5125867c6538fbe32
parent3dc3ca5bab2804eb7755d540597e2687330fa6b5 (diff)
contrib/jenkins.sh: deduplicate configure flags
Prepare to add meas-related flags to CONFIG in future patches. Related: OS#5173 Change-Id: I5685aa0bcb77286d1cd89cc9c8fee58991597446
-rwxr-xr-xcontrib/jenkins.sh8
1 files changed, 4 insertions, 4 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 695af3a07..a89f7d5f7 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -60,9 +60,9 @@ osmo-build-dep.sh libosmo-sccp
osmo-build-dep.sh osmo-mgw
# Additional configure options and depends
-CONFIG=""
+CONFIG="--enable-external-tests --enable-werror"
if [ "$WITH_MANUALS" = "1" ]; then
- CONFIG="--enable-manuals"
+ CONFIG="$CONFIG --enable-manuals"
fi
set +x
@@ -75,12 +75,12 @@ set -x
cd "$base"
autoreconf --install --force
-./configure --enable-sanitize --enable-external-tests --enable-werror $CONFIG
+./configure --enable-sanitize $CONFIG
$MAKE $PARALLEL_MAKE
LD_LIBRARY_PATH="$inst/lib" $MAKE check \
|| exit_tar_workspace
LD_LIBRARY_PATH="$inst/lib" \
- DISTCHECK_CONFIGURE_FLAGS="--enable-external-tests --enable-werror $CONFIG" \
+ DISTCHECK_CONFIGURE_FLAGS="$CONFIG" \
$MAKE $PARALLEL_MAKE distcheck \
|| exit_tar_workspace