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

Change-Id: I79c2302365824d9c8783dadfa378c8eaa07e2ee7
1 file changed
tree: 2e4de1357595cd527c4b72a2a7fcecef9365d0b1
  1. contrib/
  2. debian/
  3. openbsc/
  4. .gitignore
  5. .gitreview
  6. .mailmap