diff options
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: |