tree 6a83833c74fcfbd8951b7c13a177dc70bba39510
parent dc6a7cd4068fe428eeacef9eff0eb7ddf1e36642
author Harald Welte <laforge@gnumonks.org> 1499691600 +0200
committer Neels Hofmeyr <neels@hofmeyr.de> 1503848697 +0200

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

Change-Id: I79c2302365824d9c8783dadfa378c8eaa07e2ee7