diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2016-08-10 14:35:51 +0200 |
---|---|---|
committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2016-08-11 11:06:26 +0000 |
commit | 0b4da058ad45984904c6860ec3820b213c683cce (patch) | |
tree | 215d309d57df33a1361f53d88713c36e8b2797a0 | |
parent | 79cb2451576ff07fa65a819f605c82e732120e4c (diff) |
jenkins.sh: ensure $MAKE is set
Change-Id: I2da8acdfe3abf79f68db4d00d04a7d162f0123ce
-rwxr-xr-x | contrib/jenkins.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 27cdaa99..7d3acc07 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -2,6 +2,11 @@ set -ex +if [ -z "$MAKE" ]; then + echo 'The $MAKE variable is not defined, cannot build' + exit 1 +fi + if [ $sysmobts = "no" -a $sysmodsp = "yes" ]; then echo "This config does not make sense." exit 0 |