tree 0a3d81e0fadcde63565db3c8d5a5ed0d78d64a33
parent 84201d3a4b6b745cfdb4aa3c9fb5d3e04859f89a
author Harald Welte <laforge@gnumonks.org> 1499691903 +0200
committer Harald Welte <laforge@gnumonks.org> 1502820221 +0200

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

Change-Id: I5251ba148f36014f70ce2838caff70062c1a3db1