diff --git a/scripts/lib/compatlayer/__init__.py b/scripts/lib/compatlayer/__init__.py index 58f94b778b..087ac14148 100644 --- a/scripts/lib/compatlayer/__init__.py +++ b/scripts/lib/compatlayer/__init__.py @@ -112,6 +112,7 @@ def detect_layers(layer_directories, no_auto): layers = [] for directory in layer_directories: + directory = os.path.realpath(directory) if directory[-1] == '/': directory = directory[0:-1]