diff options
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 755ff1c12..3c60996dc 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" |