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 419fa067af5..b7f83a7404f 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -1692,7 +1692,7 @@ class Driver: def useBinDist(self): return os.environ.get("USE_BIN_DIST", "no") == "yes" - def getIceDir(self, mapping=None): + def getIceDir(self, mapping): if self.useBinDist(): return platform.getIceDir(mapping) elif mapping: @@ -1701,7 +1701,7 @@ class Driver: return toplevel def getSliceDir(self, mapping): - return platform.getSliceDir(self.getIceDir(mapping)) + return platform.getSliceDir(self.getIceDir(mapping) if self.useBinDist() else toplevel) def isWorkerThread(self): return False |