diff options
author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-09-11 11:39:15 +0100 |
---|---|---|
committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-09-11 11:39:15 +0100 |
commit | 3070d0b7351d480ec201d4f488938744f68e56dd (patch) | |
tree | 3b23ee01bca5b52bb314b145ca4f27935e0ac97c /modules/mono/build_scripts | |
parent | 9d9ee2d4c25b1b24cd1cc7a0c63ffcb8453b32fd (diff) |
Remove unused Python local variables.
Diffstat (limited to 'modules/mono/build_scripts')
-rw-r--r-- | modules/mono/build_scripts/solution_builder.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/modules/mono/build_scripts/solution_builder.py b/modules/mono/build_scripts/solution_builder.py index 03f4e57f02..6a621c3c8b 100644 --- a/modules/mono/build_scripts/solution_builder.py +++ b/modules/mono/build_scripts/solution_builder.py @@ -8,9 +8,6 @@ def find_dotnet_cli(): import os.path if os.name == "nt": - windows_exts = os.environ["PATHEXT"] - windows_exts = windows_exts.split(os.pathsep) if windows_exts else [] - for hint_dir in os.environ["PATH"].split(os.pathsep): hint_dir = hint_dir.strip('"') hint_path = os.path.join(hint_dir, "dotnet") |