| 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',
|
|
|