Neels Hofmeyr c8ef736370 jenkins: bail early if $MAKE env var is not set ... If $MAKE is unset, it produces confusing errors, rather check explicitly. Change-Id: I59b111dfdee4e1edea04155144f01d99f5f72aa1		2017-10-24 15:31:07 +00:00
..
fsm-to-dot.py	contrib/fsm-to-dot.py: some tweaks that help with osmo-bsc's new FSMs	2017-10-24 15:30:58 +00:00
jenkins-arm.sh	fixups for recent "Cleanup jenkins build scripts"	2017-10-24 15:31:07 +00:00
jenkins.sh	fixups for recent "Cleanup jenkins build scripts"	2017-10-24 15:31:07 +00:00
jenkins_common.sh	jenkins: bail early if $MAKE env var is not set	2017-10-24 15:31:07 +00:00