diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-12-05 12:39:05 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2018-12-05 16:26:35 +0100 |
commit | 800c029c709fda37ec1dd37b833ae5decd03ec2c (patch) | |
tree | e9992f2f69889bdb263786e6a40890635d0e1143 /contrib/jenkins.sh | |
parent | 522cbe91d3a39266e943317a1cf17bdf31b641be (diff) |
jenkins.sh: run "make distcheck"
Run distcheck in CI to be consistent with other Osmocom projects.
Change-Id: I7d3fa0fe12e13ca13d3330158425718e5c34d00d
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 9 |
1 files changed, 6 insertions, 3 deletions
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 PKG_CONFIG_PATH="$inst/lib/pkgconfig:$PKG_CONFIG_PATH" 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 @@ set -x 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 |