summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xruntests.sh7
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