diff options
| -rwxr-xr-x | runtests.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/runtests.sh b/runtests.sh index 31bbaf834..b7313b79b 100755 --- a/runtests.sh +++ b/runtests.sh @@ -27,6 +27,8 @@ interrupted() { trap interrupted SIGINT +unused_args=() + while [[ -n $1 ]] ; do case "$1" in --python-versions=*) @@ -36,10 +38,15 @@ while [[ -n $1 ]] ; do shift PYTHON_VERSIONS=$1 ;; + *) + unused_args[${#unused_args[@]}]=$1 + ;; esac shift done +set -- "${unused_args[@]}" + exit_status="0" for version in ${PYTHON_VERSIONS}; do if [[ -x /usr/bin/python${version} ]]; then |