run-tests: make the error message displayed when WORKSPACE isn't set a

bit prettier.

No issue #

diff --git a/jenkins/run-tests.sh b/jenkins/run-tests.sh
index 1f65c95daf76dd77ac5f83770d6d73b7d100ab26..20c92bf8ef9578d08827697718ed6596acae7797 100755 (executable)
--- a/jenkins/run-tests.sh
+++ b/jenkins/run-tests.sh
@@ -154,8 +154,15 @@ do
 done
 
 # Sanity check
+if ! [[ -n "$WORKSPACE" ]]; then
+  echo >&2 "$helpmessage"
+  echo >&2
+  echo >&2 "Error: WORKSPACE environment variable not set"
+  echo >&2
+  exit 1
+fi
+
 echo "WORKSPACE=$WORKSPACE"
-[[ -n "$WORKSPACE" ]] || fatal "WORKSPACE not set"
 
 if [[ -z "$CONFIGSRC" ]] && [[ -d "$HOME/arvados-api-server" ]]; then
     # Jenkins expects us to use this by default.