Index: testing/test_env.py |
diff --git a/testing/test_env.py b/testing/test_env.py |
index 0720fbbdbf726e2900cb8dba5bca272ffcc22a71..b18313e5adcd31f6a807dcf2b2fd6e6a8084e971 100755 |
--- a/testing/test_env.py |
+++ b/testing/test_env.py |
@@ -48,5 +48,5 @@ def main(): |
return run_executable(sys.argv[1:], os.environ.copy()) |
-if __name__ == "__main__": |
+if __name__ == '__main__': |
sys.exit(main()) |