Merge pull request #66 from FLamparski/fix-windows-paths-with-spaces

Fix handling of (Windows) paths with spaces
This commit is contained in:
Chris 2020-03-15 16:34:58 +00:00 committed by GitHub
commit 86d7e0f124
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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