single-header.py: Normalize the include paths.

mpark · Aug 18, 2017 · 1686d96 · 1686d96
1 parent 1a44221
commit 1686d96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/support/single-header.py b/support/single-header.py
@@ -24,7 +24,7 @@ def process(header):
         result += line
       else:
         g = m.group(1)
-        include = os.path.join(os.path.dirname(header), g)
+        include = os.path.normpath(os.path.join(os.path.dirname(header), g))
         if include not in processed:
           result += process(include)
           result += '\n'