diff options
Diffstat (limited to 'lib/python/Tools')
| -rw-r--r-- | lib/python/Tools/Directories.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py index 7c50bd9f..f7be9535 100644 --- a/lib/python/Tools/Directories.py +++ b/lib/python/Tools/Directories.py @@ -46,7 +46,7 @@ def resolveFilename(scope, base = "", path_prefix = None): if base[0:2] == "~/": # you can only use the ~/ if we have a prefix directory assert path_prefix is not None - base = path_prefix + base[2:] + base = os.path.join(path_prefix, base[2:]) # don't resolve absolute paths if base[0:1] == '/': |
