diff --git a/run_tests.sh b/run_tests.sh index 1236e8742cc..08322c750a5 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -11,7 +11,7 @@ cat <