aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-xcontrib/jenkins.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 755ff1c1..3c60996d 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -12,6 +12,7 @@ rm -rf "$inst"
build_dep() {
project="$1"
branch="$2"
+ cfg="$3"
set +x
echo
echo
@@ -32,11 +33,11 @@ build_dep() {
fi
git rev-parse HEAD
autoreconf --install --force
- ./configure --prefix="$inst"
+ ./configure --prefix="$inst" $cfg
$MAKE $PARALLEL_MAKE install
}
-build_dep libosmocore
+build_dep libosmocore "" ac_cv_path_DOXYGEN=false
# All below builds want this PKG_CONFIG_PATH
export PKG_CONFIG_PATH="$inst/lib/pkgconfig:$PKG_CONFIG_PATH"