michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(bin/linja): add '$' and ' ' cases to escape_ninja_char

Browse source 
This is related to #513
This commit is contained in:
Soonho Kong 2015-03-28 15:21:34 -04:00
parent 9fb44c1e93
commit f72f4cf441
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bin/linja.in
View file

@ -306,7 +306,7 @@ def find_file_upward(name, path = os.getcwd()):
return None
def escape_ninja_char(name):
return name.replace(":", "$:")
return name.replace("$", "$$").replace(":", "$:").replace(" ", "$ ")
def normalize_drive_name(name):
if platform.system() == "Windows":
@ -679,10 +679,11 @@ def make_deps(lean_file, dlean_file, olean_file):
deps = []
proc = subprocess.Popen([g_lean_path, "--deps", lean_file], stdout=subprocess.PIPE, stderr=subprocess.STDOUT)
output = proc.communicate()[0]
print(olean_file + ": \\", file=f)
print(escape_ninja_char(olean_file) + ": \\", file=f)
for olean_file in output.strip().splitlines():
if olean_file:
deps.append(normalize_drive_name(os.path.abspath(olean_file)))
deps = map(escape_ninja_char, deps)
deps_str = b" " + (b" \\\n ".join(deps))
print(deps_str, file=f)