osmith has submitted this change and it was merged. (
https://gerrit.osmocom.org/12132 )
Change subject: jenkins.sh: run "make distcheck"
......................................................................
jenkins.sh: run "make distcheck"
Run distcheck in CI to be consistent with other Osmocom projects.
Change-Id: I7d3fa0fe12e13ca13d3330158425718e5c34d00d
---
M contrib/jenkins.sh
1 file changed, 6 insertions(+), 3 deletions(-)
Approvals:
Jenkins Builder: Verified
Pau Espin Pedrol: Looks good to me, approved
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 4523a5a..dedec81 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -78,11 +78,12 @@
export LD_LIBRARY_PATH="$inst/lib"
export PATH="$inst/bin:$PATH"
+CONFIG="--enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms
$INSTR"
+
# Additional configure options and depends
-CONFIG=""
if [ "$WITH_MANUALS" = "1" ]; then
osmo-build-dep.sh osmo-gsm-manuals
- CONFIG="--enable-manuals"
+ CONFIG="$CONFIG --enable-manuals"
fi
set +x
@@ -95,10 +96,12 @@
cd "$base"
autoreconf --install --force
-./configure --enable-sanitize --enable-werror --with-uhd --with-usrp1
--with-lms $INSTR $CONFIG
+./configure $CONFIG
$MAKE $PARALLEL_MAKE
$MAKE check \
|| cat-testlogs.sh
+DISTCHECK_CONFIGURE_FLAGS="$CONFIG" $MAKE distcheck \
+ || cat-testlogs.sh
if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
make -C "$base/doc/manuals" publish
--
To view, visit https://gerrit.osmocom.org/12132
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-trx
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: I7d3fa0fe12e13ca13d3330158425718e5c34d00d
Gerrit-Change-Number: 12132
Gerrit-PatchSet: 3
Gerrit-Owner: osmith <[email protected]>
Gerrit-Reviewer: Jenkins Builder (1000002)
Gerrit-Reviewer: Pau Espin Pedrol <[email protected]>
Gerrit-Reviewer: osmith <[email protected]>
Gerrit-CC: Neels Hofmeyr <[email protected]>
