diff options
author | Jose <jose@zeroc.com> | 2016-12-13 15:09:10 +0100 |
---|---|---|
committer | Jose <jose@zeroc.com> | 2016-12-13 15:09:10 +0100 |
commit | 3331e8f78d1bc6374550dd2f8804dd336dfe61cd (patch) | |
tree | 32d009c02c45a476bf2e17653c53d9ae0cd847f3 /scripts/Util.py | |
parent | Fix bin dir for CppMapping (diff) | |
download | ice-3331e8f78d1bc6374550dd2f8804dd336dfe61cd.tar.bz2 ice-3331e8f78d1bc6374550dd2f8804dd336dfe61cd.tar.xz ice-3331e8f78d1bc6374550dd2f8804dd336dfe61cd.zip |
Another fix for Windows bin PATH
Diffstat (limited to 'scripts/Util.py')
-rw-r--r-- | scripts/Util.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index 97e1c26135c..ebdd4f7d3c5 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -242,9 +242,9 @@ class Windows(Platform): if current.driver.useBinDist(): iceHome = os.environ.get("ICE_HOME") - if iceHome and isinstance(mapping, CppMapping) and config == "Release" and platform == "x64": + if iceHome: return "bin" - if isinstance(mapping, CSharpMapping) or isinstance(process, SliceTranslator): + elif isinstance(mapping, CSharpMapping) or isinstance(process, SliceTranslator): return os.path.join("tools") else: |