jenkins.sh: Follow abe.sh's style in handling multiple --excludecheck options

Change-Id: Ib08025be14712a6bc536055e87cc71d82164d5df

1 files changed, 3 insertions, 3 deletions

diff --git a/jenkins.sh b/jenkins.sh
index a419ebac..80b853f0 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -83,7 +83,7 @@ user_options=""
 status=0
 
 # Whether to exclude some component from 'make check'
-excludecheck=
+excludecheck_opt=""
 
 # Whether to rebuild the toolchain even if logs are already present.
 # Note that the check is done on logserver/logname pair, so logname should not
@@ -108,7 +108,7 @@ while test $# -gt 0; do
         -l|--languages) languages=$2; shift ;;
         -r|--runtests) runtests="true" ;;
         -b|--bootstrap) try_bootstrap="true" ;;
-	--excludecheck) excludecheck=$2; shift ;;
+	--excludecheck) excludecheck_opt="$excludecheck_opt --excludecheck $2"; shift ;;
 	--norebuild) rebuild=false ;;
 	-h|--help) usage ;;
     esac
@@ -267,7 +267,7 @@ if test x"${runtests}" = xtrue; then
     fi
  
     check="--check all"
-    check="${check}${excludecheck:+ --excludecheck ${excludecheck}}"
+    check="${check}${excludecheck_opt}"
 fi
 
 if test x"${target}" != x"native" -a x"${target}" != x; then