Handle excludecheck flag from Jenkins.

The 'excludecheck' Jenkins flag is propagated to:
- jenkins.sh/BuildFarm.job
- test-backport.sh/Backport.job

Support --check flag for native builds too.

This patch does not fix the fact that jenkins.sh does not yet support --check, unlike test-backport.sh.

Conflicts:

	test-backport.sh

Change-Id: I786edca0fdcec66e95e4097469888a8b0c731c79

1 files changed, 6 insertions, 6 deletions

diff --git a/jenkins.sh b/jenkins.sh
index 5190e420..15f1f20b 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -72,7 +72,10 @@ user_options=""
 # Return status
 status=0
 
-OPTS="`getopt -o s:g:c:w:o:f:l:rt:b:h -l snapshots:,gitrepo:,abe:,workspace:,options:,fileserver:,languages:,runtests,target:,bootstrap,help -- "$@"`"
+# Whether to exclude some component from 'make check'
+excludecheck=
+
+OPTS="`getopt -o s:g:c:w:o:f:l:rt:b:h -l snapshots:,gitrepo:,abe:,workspace:,options:,fileserver:,languages:,runtests,target:,bootstrap,help,excludecheck: -- "$@"`"
 while test $# -gt 0; do
     case $1 in
         -s|--snapshots) user_snapshots=$2; shift ;;
@@ -85,6 +88,7 @@ while test $# -gt 0; do
         -l|--languages) languages=$2; shift ;;
         -r|--runtests) runtests="true" ;;
         -b|--bootstrap) try_bootstrap="true" ;;
+	--excludecheck) excludecheck=$2; shift ;;
 	-h|--help) usage ;;
     esac
     shift
@@ -141,15 +145,11 @@ fi
 # if runtests is true, then run make check after the build completes
 if test x"${runtests}" = xtrue; then
     check="--check all"
+    check="${check}${excludecheck:+ --excludecheck ${excludecheck}}"
 fi
 
 if test x"${target}" != x"native" -a x"${target}" != x; then
     platform="--target ${target}"
-else
-    # For native builds, we don't check gdb because it is too slow
-    if test x"${runtests}" = xtrue; then
-	check="${check} --excludecheck gdb"
-    fi
 fi
 
 if test x"${libc}" != x; then