Index: testing/scripts/get_compile_targets.py |
diff --git a/testing/scripts/get_compile_targets.py b/testing/scripts/get_compile_targets.py |
index 80d4f37135f7554ba58209dd4e95b61a862eb9ad..16cff951648374847b8c0278ab83e9bc01e4c492 100755 |
--- a/testing/scripts/get_compile_targets.py |
+++ b/testing/scripts/get_compile_targets.py |
@@ -32,7 +32,7 @@ def main(argv): |
with common.temporary_file() as tempfile_path: |
rc = common.run_command( |
- [os.path.join(common.SCRIPT_DIR, filename)] + |
+ [sys.executable, os.path.join(common.SCRIPT_DIR, filename)] + |
passthrough_args + |
[ |
'compile_targets', |