diff --git a/tools/run_more_tests.sh b/tools/run_more_tests.sh index 27cd989a8..4072635de 100755 --- a/tools/run_more_tests.sh +++ b/tools/run_more_tests.sh @@ -1,5 +1,5 @@ #!/bin/bash -# Script Used by generate_and_run_tests.sh +# Script Used by generate_and_run_more_tests.sh set -e