summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/SConscript1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/SConscript b/src/SConscript
index 1cd1a1627..a4bd55269 100644
--- a/src/SConscript
+++ b/src/SConscript
@@ -165,6 +165,7 @@ for root, dirs, files in os.walk(srcdir, topdown=True):
for extra in env['EXTRAS'].split(':'):
extra = os.path.expanduser(extra)
+ extra = os.path.normpath(extra)
env.Append(CPPPATH=[Dir(extra)])
for root, dirs, files in os.walk(extra, topdown=True):
if 'SConscript' in files: