diff --git a/run_tests.sh b/run_tests.sh index 14b38ad0dc5..cce3eae0a62 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -24,7 +24,7 @@ cat <