diff --git a/scripts/make_generated_files.py b/scripts/make_generated_files.py index d919fb0cf..99a0512d5 100755 --- a/scripts/make_generated_files.py +++ b/scripts/make_generated_files.py @@ -33,7 +33,7 @@ class GenerationScript: # Executable to run the script, needed for Windows if script.suffix == ".py": - self.exe = "python" + self.exe = sys.executable elif script.suffix == ".pl": self.exe = "perl" @@ -62,7 +62,7 @@ def get_generation_script_files(generation_script: str) -> List[Path]: """ files = [] if generation_script.endswith(".py"): - cmd = ["python"] + cmd = [sys.executable] elif generation_script.endswith(".pl"): cmd = ["perl"] cmd += [generation_script, "--list"]