diff options
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index ac7363e..312db1f 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -20,16 +20,15 @@ export PATH="$inst/bin:$PATH" osmo-build-dep.sh libosmocore "" --disable-doxygen osmo-build-dep.sh libosmo-abis osmo-build-dep.sh libosmo-netif -osmo-build-dep.sh libosmo-sccp +osmo-build-dep.sh libosmo-sigtran osmo-build-dep.sh libasn1c # the asn1c binary is used by the 'regen' target below osmo-build-dep.sh asn1c aper-prefix -CONFIG="" +CONFIG="--enable-werror" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals - CONFIG="--enable-manuals" + CONFIG="$CONFIG --enable-manuals" fi set +x @@ -60,12 +59,8 @@ fi $MAKE $PARALLEL_MAKE $MAKE check \ || cat-testlogs.sh -$MAKE distcheck \ +$MAKE $PARALLEL_MAKE distcheck \ || cat-testlogs.sh -if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then - make -C "$base/doc/manuals" publish -fi - -$MAKE maintainer-clean +$MAKE $PARALLEL_MAKE maintainer-clean osmo-clean-workspace.sh |