tree 6c4672c295463785952b0894dea20757cd4d6b86
parent 66fc7561a110a0b9f4f1f6c94b2db049a797b055
author Harald Welte <laforge@gnumonks.org> 1499691600 +0200
committer Neels Hofmeyr <neels@hofmeyr.de> 1503848454 +0200

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

Change-Id: I79c2302365824d9c8783dadfa378c8eaa07e2ee7