diff --git a/run_tests.sh b/run_tests.sh index e5c13aa9e20..ff9cd96b7d5 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -13,7 +13,7 @@ cat <