diff options
| author | Harald Welte <laforge@gnumonks.org> | 2017-07-10 14:58:06 +0200 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2017-07-10 14:58:06 +0200 |
| commit | a06b877437a48ca14b8066663ea226dadee0014a (patch) | |
| tree | a01b6dc58be50dccb43850650f9d15d3e33914bb /include | |
| parent | 65529bc54167cf2c1124fad59093e157a0c10d57 (diff) | |
jenkins.sh: Proper error message if local environment isn't set up
Change-Id: Ibb34f07164adb175a44f460d02f54586b56a5b95
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions