[MERGED] osmo-pcu[master]: jenkins.sh: ensure $MAKE is set

[Neels Hofmeyr]

Neels Hofmeyr has submitted this change and it was merged.

Change subject: jenkins.sh: ensure $MAKE is set
......................................................................


jenkins.sh: ensure $MAKE is set

Change-Id: I2da8acdfe3abf79f68db4d00d04a7d162f0123ce
---
M contrib/jenkins.sh
1 file changed, 5 insertions(+), 0 deletions(-)

Approvals:
  Jenkins Builder: Verified
  Holger Freyther: Looks good to me, approved



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

-- 
To view, visit https://gerrit.osmocom.org/679
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2da8acdfe3abf79f68db4d00d04a7d162f0123ce
Gerrit-PatchSet: 2
Gerrit-Project: osmo-pcu
Gerrit-Branch: master
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>
Gerrit-Reviewer: Holger Freyther <holger at freyther.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: Neels Hofmeyr <nhofmeyr at sysmocom.de>
Gerrit-Reviewer: neels_test_account <neels at hofmeyr.de>