jenkins.sh: Skip building unneeded libosmo-abis

Change-Id: I375cbf95c6bbe3af275aea00e4e13f26784c0d3d
---
M contrib/jenkins.sh
1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index c5259e5..7510990 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -18,9 +18,8 @@
 
 verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]")
 
-osmo-build-dep.sh libosmocore "" ac_cv_path_DOXYGEN=false
-osmo-build-dep.sh libosmo-netif "" ac_cv_path_DOXYGEN=false
-osmo-build-dep.sh libosmo-abis "" ac_cv_path_DOXYGEN=false
+osmo-build-dep.sh libosmocore "" --disable-doxygen
+osmo-build-dep.sh libosmo-netif "" --disable-doxygen
 
 export PKG_CONFIG_PATH="$inst/lib/pkgconfig:$PKG_CONFIG_PATH"
 export LD_LIBRARY_PATH="$inst/lib"

