From dff765869cf4adcf587b3a012dea96a6d396ed5b Mon Sep 17 00:00:00 2001
From: Harald Welte <laforge@osmocom.org>
Date: Thu, 10 Nov 2022 02:01:47 +0100
Subject: WIP: contrib/jenkins.sh: Verify build with and without dahdi trunkdev

Change-Id: I36a1b5b4ee2c797e53f816c5ac99adf985987f02
---
 contrib/jenkins.sh | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
cgit v1.2.3