diff --git a/run_tests.sh b/run_tests.sh index ed01a23283b..d872acba24b 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -88,7 +88,7 @@ do shift 1 fi ;; - -with_framework_test_tools|--with_framework_test_tools) + -with_framework_test_tools|--with_framework_test_tools) with_framework_test_tools_arg="-with_framework_test_tools" shift ;;