add isMount encapsulation

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 2b60924c72a7cc8d33217bfcd8c4ccb3470e4aa1..0d238b3043a2a5041d98d6e613677af1425e571f 100644 (file)
--- a/lib/python/Tools/Directories.py
+++ b/lib/python/Tools/Directories.py
@@ -126,6 +126,9 @@ def resolveFilename(scope, base = "", path_prefix = None):
 def pathExists(path):
        return os_path.exists(path)
 
+def isMount(path):
+       return os_path.ismount(path)
+
 def createDir(path, makeParents = False):
        try:
                if makeParents: