Mbed-TLS/mbedtls-framework
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls-framework.git synced 2026-10-14 12:47:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #270 from gilles-peskine-arm/make_generated_files-use_same_python

Browse Source 
Use the same Python executable instead of `python`
This commit is contained in:
Ronald Cron
2026-01-12 12:04:30 +01:00
committed by GitHub
parent ee399cc257 a56534ba79
commit ebad5b9817
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/make_generated_files.py
+2 -2
View File
@@ -33,7 +33,7 @@ class GenerationScript:
# Executable to run the script, needed for Windows # Executable to run the script, needed for Windows
if script.suffix == ".py": if script.suffix == ".py":
self.exe = "python" self.exe = sys.executable
elif script.suffix == ".pl": elif script.suffix == ".pl":
self.exe = "perl" self.exe = "perl"
@@ -62,7 +62,7 @@ def get_generation_script_files(generation_script: str) -> List[Path]:
""" """
files = [] files = []
if generation_script.endswith(".py"): if generation_script.endswith(".py"):
cmd = ["python"] cmd = [sys.executable]
elif generation_script.endswith(".pl"): elif generation_script.endswith(".pl"):
cmd = ["perl"] cmd = ["perl"]
cmd += [generation_script, "--list"] cmd += [generation_script, "--list"]