diff options
Diffstat (limited to 'jenkins.sh')
| -rwxr-xr-x | jenkins.sh | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -101,7 +101,7 @@ rebuild=true orig_parameters="$@" -OPTS="$(getopt -o s:g:w:o:l:rt:b:h -l override:,gcc-branch:,snapshots:,gitrepo:,abedir:,workspace:,options:,logserver:,logname:,languages:,runtests,target:,testcontainer:,bootstrap,help,excludecheck:,norebuild,extraconfig: -- "$@")" +OPTS="$(getopt -o s:g:w:o:l:rt:b:h -l override:,gcc-branch:,snapshots:,gitrepo:,abedir:,workspace:,options:,logserver:,logname:,languages:,runtests,target:,testcontainer:,bootstrap,help,excludecheck:,norebuild,extraconfig:,send-results-to: -- "$@")" while test $# -gt 0; do case $1 in --gcc-branch) change="$change gcc=$2"; shift ;; @@ -120,6 +120,7 @@ while test $# -gt 0; do -r|--runtests) runtests="true" ;; -b|--bootstrap) try_bootstrap="true" ;; --excludecheck) excludecheck_opt="$excludecheck_opt --excludecheck $2"; shift ;; + --send-results-to) change="${change} --send-results-to $2"; shift ;; --norebuild) rebuild=false ;; -h|--help) usage 0 ;; *) usage ;; |