jenkins.sh: Proper error message if local environment isn't set up

Change-Id: Ibd24ba6024714f3d7aac14ef661acf52de2a3825
2017-07-10 15:03:27 +02:00 · 2017-07-10 15:03:27 +02:00 · 8c8027c307
parent aae1bfbbe0
commit 8c8027c307
1 changed files with 7 additions and 0 deletions
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@ -1,4 +1,11 @@
 #!/bin/sh
+# jenkins build helper script for osmo-pcu.  This is how we build on jenkins.osmocom.org
+
+if ! [ -x "$(command -v osmo-build-dep.sh)" ]; then
+	echo "Error: We need to have scripts/osmo-deps.sh from http://git.osmocom.org/osmo-ci/ in PATH !"
+	exit 2
+fi
+

 set -ex