From 3ea54c8fa92eaa81b1903de89cf2872e75b3c76b Mon Sep 17 00:00:00 2001
From: Harald Welte <laforge@gnumonks.org>
Date: Mon, 10 Jul 2017 15:00:00 +0200
Subject: jenkins.sh: Proper error message if local environment isn't set up

Change-Id: I79c2302365824d9c8783dadfa378c8eaa07e2ee7
---
 contrib/jenkins.sh | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'contrib')

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 068ee34e5..7e7ccf0d0 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -1,4 +1,11 @@
 #!/usr/bin/env bash
+# jenkins build helper script for openbsc.  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
 
-- 
cgit v1.2.3