From d8fb6f5082e7a4ab9738881275d6510ffe3be918 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 11 Feb 2016 16:40:21 -0500 Subject: [PATCH] fix(bin/linja.in): wrap args.cache to avoid problems handling fullpath with space related issue: #986 --- bin/linja.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/linja.in b/bin/linja.in index 7d84adfdad..0775d171c0 100755 --- a/bin/linja.in +++ b/bin/linja.in @@ -414,7 +414,7 @@ def get_lean_options(args): if args.to_axiom: args.lean_options.append("--to_axiom") if args.cache: - args.lean_options += ["-c", args.cache] + args.lean_options += ["-c", '"%s"' % args.cache] if args.lean_config_option: for item in args.lean_config_option: args.lean_options.append("-D" + item)