tree a01b6dc58be50dccb43850650f9d15d3e33914bb
parent 65529bc54167cf2c1124fad59093e157a0c10d57
author Harald Welte <laforge@gnumonks.org> 1499691486 +0200
committer Harald Welte <laforge@gnumonks.org> 1499691486 +0200

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

Change-Id: Ibb34f07164adb175a44f460d02f54586b56a5b95