diff --git a/run_tests.sh b/run_tests.sh index a95e08a6bbe..72f7ba1ec67 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -17,6 +17,7 @@ cat <