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)