From a7fe8cf15c8f5c77738466fef48e01aee5c38ff7 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Sun, 16 Oct 2016 09:18:10 -0400 Subject: [PATCH] fix(bin/linja): support files with spaces --- bin/linja.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/linja.in b/bin/linja.in index 7c5eeb2448..ceedc11d72 100755 --- a/bin/linja.in +++ b/bin/linja.in @@ -463,7 +463,7 @@ def make_build_ninja(args): print("""rule LEAN""", file=f) print(""" depfile = ${DLEAN_FILE}""", file=f) - print(""" command = "%s" %s -o ${OLEAN_FILE} $in""" \ + print(""" command = "%s" %s -o "${OLEAN_FILE}" $in""" \ % (g_lean_path, " ".join(args.lean_options)), file=f) print("build all: phony", end=' ', file=f)