diff options
| -rwxr-xr-x | docker/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/run_tests.sh b/docker/run_tests.sh index c794d3bf..7c289719 100755 --- a/docker/run_tests.sh +++ b/docker/run_tests.sh @@ -95,7 +95,7 @@ while [[ $# > 0 ]] -o|--offline) offline=true ;; - -t|--tests) + -t|--test|--tests) TEST="$2" shift ;; |