diff options
author | Harald Welte <laforge@gnumonks.org> | 2017-07-10 15:03:27 +0200 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2017-07-10 14:01:07 +0000 |
commit | 8c8027c3070ad154f3fff5a6a50be710d12707dd (patch) | |
tree | 72306984130ba81856c1afcf4a55fe4ffe0e992b /contrib | |
parent | aae1bfbbe0694db5df21073780fad964044dc4c1 (diff) |
jenkins.sh: Proper error message if local environment isn't set up
Change-Id: Ibd24ba6024714f3d7aac14ef661acf52de2a3825
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 52224764..75f28f38 100755 --- 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 |