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