diff --git a/scripts/make_generated_files.py b/scripts/make_generated_files.py index 73570fb28..5658799e5 100755 --- a/scripts/make_generated_files.py +++ b/scripts/make_generated_files.py @@ -33,7 +33,7 @@ def __init__(self, script: Path, files: List[Path], # 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): """ files = [] if generation_script.endswith(".py"): - cmd = ["python"] + cmd = [sys.executable] elif generation_script.endswith(".pl"): cmd = ["perl"] cmd += [generation_script, "--list"]