tree 2dcab4fba3acaabab5e07d0a587feca9144c9f3b
parent d34ed5768cccab57e879bd32f38872d290c9ae89
author Harald Welte <laforge@gnumonks.org> 1499691600 +0200
committer Neels Hofmeyr <neels@hofmeyr.de> 1503794028 +0200

jenkins.sh: Proper error message if local environment isn't set up

Change-Id: I79c2302365824d9c8783dadfa378c8eaa07e2ee7