FWGS
/
waf
mirror of https://gitlab.com/ita1024/waf.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Use platform-independent path separators in directory_files

This commit is contained in:
Peter Vingelmann 2017-02-24 20:10:00 +01:00 committed by Thomas Nagy
parent 8560c18ccb
commit 0ed090037e
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
wscript
View File

@ -258,7 +258,10 @@ def create_waf(self, *k, **kw):
file_from = f.abspath()
file_to = os.path.join(x_dir.name, f.path_from(x_dir))
directory_files[file_from] = file_to
# If this is executed on Windows, then file_to will contain
# '\' path separators. These should be changed to '/', otherwise
# the added tools will not be accessible on Unix systems.
directory_files[file_from] = file_to.replace('\\', '/')
files.append(file_from)
elif os.path.isabs(x):