jenkins.sh: Fix PKG_CONFIG_DIR
Change-Id: Ie2391ca00e588ddc9b7920dbf28ac69ddd7173e0
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index f455fcc..1a218b9 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -12,6 +12,12 @@
mkdir "$deps" || true
+export PKG_CONFIG_PATH="$inst/lib/pkgconfig:$PKG_CONFIG_PATH"
+export LD_LIBRARY_PATH="$inst/lib"
+export PATH="$inst/bin:$PATH"
+
+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-abis "" ac_cv_path_DOXYGEN=false
osmo-build-dep.sh libosmo-netif "" ac_cv_path_DOXYGEN=false