diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-09-11 13:04:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-11 13:04:49 +0200 |
| commit | e00d77f5f3dc4213085e2e485459be098221b0d7 (patch) | |
| tree | cfd0063efbfbe6bdf442e01f90c13668812f1409 /modules/mono/build_scripts/solution_builder.py | |
| parent | a2a78a80663674a1cd348a860184be8507bb76e3 (diff) | |
| parent | 3070d0b7351d480ec201d4f488938744f68e56dd (diff) | |
Merge pull request #41975 from madmiraal/remove-unused-variables
Remove unused Python local variables.
Diffstat (limited to 'modules/mono/build_scripts/solution_builder.py')
| -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") |