diff --git a/tools/run_tests.sh b/tools/run_tests.sh index 5488be9430..3620ebc0e5 100755 --- a/tools/run_tests.sh +++ b/tools/run_tests.sh @@ -122,5 +122,4 @@ main () { PYTHONPATH=$original_pythonpath } - - +main