diff options
| -rw-r--r-- | utils/lit/lit/Util.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/utils/lit/lit/Util.py b/utils/lit/lit/Util.py index 414b714..ad4adf2 100644 --- a/utils/lit/lit/Util.py +++ b/utils/lit/lit/Util.py @@ -75,6 +75,18 @@ def which(command, paths = None): return None +def checkToolsPath(dir, tools): + for tool in tools: + if not os.path.exists(os.path.join(dir, tool)): + return False; + return True; + +def whichTools(tools, paths): + for path in paths.split(os.pathsep): + if checkToolsPath(path, tools): + return path + return None + def printHistogram(items, title = 'Items'): import itertools, math |