Fix handling of Windows paths with spaces

2020-03-15 16:25:18 +00:00 · 2020-03-15 16:25:18 +00:00 · c897060726
parent b2c2fc668b
commit c897060726
1 changed files with 1 additions and 1 deletions
--- a/scripts/deps.py
+++ b/scripts/deps.py
@ -33,7 +33,7 @@ def read_deps(dname):
    deps = []
    for line in lines:
        if line.startswith('\t'):
-            dep = line[1 : -1].rstrip(' \\')
+            dep = line[1 : -1].rstrip(' \\').replace('\\ ', ' ')
            if not os.path.basename(dep) in ['stl.scad', 'dxf.scad', 'svf.scad', 'png.scad', 'target.scad']:
                deps.append(dep)
    return deps