config: expand '~' and '~user' in paths

diff --git a/configs/common/SysPaths.py b/configs/common/SysPaths.py
index 08d40bba414fcf0f695220098fef7b7a47736928..316fd0399ccc3df2e68e4c90c7d4a6f6560e23ff 100644 (file)
--- a/configs/common/SysPaths.py
+++ b/configs/common/SysPaths.py
@@ -27,7 +27,7 @@
 # Authors: Ali Saidi
 
 import os, sys
-from os.path import isdir, join as joinpath
+from os.path import join as joinpath
 from os import environ as env
 
 config_path = os.path.dirname(os.path.abspath(__file__))
@@ -59,6 +59,9 @@ def system():
         except KeyError:
             path = [ '/dist/m5/system', '/n/poolfs/z/dist/m5/system' ]
 
+        # expand '~' and '~user' in paths
+        path = map(os.path.expanduser, path)
+
         # filter out non-existent directories
         system.path = filter(os.path.isdir, path)