diff options
| author | Harald Welte <laforge@osmocom.org> | 2022-11-10 02:01:47 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@osmocom.org> | 2023-09-13 15:50:28 +0200 |
| commit | dff765869cf4adcf587b3a012dea96a6d396ed5b (patch) | |
| tree | 7fefdb7ddaaabb108c6e06fc4721685e8e3c548d | |
| parent | faedcec65c4acbd205a2d2ecce60c71a66ccb6f1 (diff) | |
WIP: contrib/jenkins.sh: Verify build with and without dahdi trunkdevlaforge/trunkdev
Change-Id: I36a1b5b4ee2c797e53f816c5ac99adf985987f02
| -rwxr-xr-x | contrib/jenkins.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 747c261..1005346 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -43,8 +43,14 @@ set -x cd "$base" autoreconf --install --force +# build once without DAHDI trunkdev ./configure --enable-sanitize --enable-werror $CONFIG $MAKE $PARALLEL_MAKE +# build once with DAHDI trunkdev +$MAKE $PARALLEL_MAKE clean +./configure --enable-sanitize --enable-werror --enable-dahdi-trunkdev $CONFIG +$MAKE $PARALLEL_MAKE + $MAKE check || cat-testlogs.sh # Do distcheck with --disable options as workaround, because it doesn't build # the usermanual pdf / doxygen html files for some reason and then fails at |