commit | 0b4da058ad45984904c6860ec3820b213c683cce | [log] [tgz] |
---|---|---|
author | Neels Hofmeyr <neels@hofmeyr.de> | Wed Aug 10 14:35:51 2016 +0200 |
committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | Thu Aug 11 11:06:26 2016 +0000 |
tree | 215d309d57df33a1361f53d88713c36e8b2797a0 | |
parent | 79cb2451576ff07fa65a819f605c82e732120e4c [diff] [blame] |
jenkins.sh: ensure $MAKE is set Change-Id: I2da8acdfe3abf79f68db4d00d04a7d162f0123ce
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 27cdaa9..7d3acc0 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