jenkins.sh: Exit early when an error is detected.

Instead of just printing an help message and continuing.

Change-Id: I6734639095589c861e72d8c0f4a444b86fefa1fc

1 files changed, 5 insertions, 3 deletions

diff --git a/jenkins.sh b/jenkins.sh
index 6f480785..ac4d5a62 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -24,16 +24,17 @@ PS4='+ $PRGNAME: ${FUNCNAME+"$FUNCNAME : "}$LINENO: '
 
 usage()
 {
+    ret=1
+    [ x"$1" != x ] && ret=$1
     cat << EOF
   jenkins.sh [--help] [-s snapshot dir] [g git reference dir] [--abedir path] [-w workspace]
 EOF
-    return 0
+    exit $ret
 }
 
 if test $# -lt 1; then
     echo "ERROR: No options for build!"
     usage
-#    exit
 fi
 
 # Directory of ABE source files
@@ -113,7 +114,8 @@ while test $# -gt 0; do
         -b|--bootstrap) try_bootstrap="true" ;;
 	--excludecheck) excludecheck_opt="$excludecheck_opt --excludecheck $2"; shift ;;
 	--norebuild) rebuild=false ;;
-	-h|--help) usage ;;
+	-h|--help) usage 0 ;;
+        *) usage ;;
     esac
     shift
 done