fix(bin/linja.in): wrap args.cache to avoid problems handling fullpath with space

related issue: #986
This commit is contained in:
Soonho Kong 2016-02-11 16:40:21 -05:00
parent 632d4fae36
commit d8fb6f5082

View file

@ -414,7 +414,7 @@ def get_lean_options(args):
if args.to_axiom: if args.to_axiom:
args.lean_options.append("--to_axiom") args.lean_options.append("--to_axiom")
if args.cache: if args.cache:
args.lean_options += ["-c", args.cache] args.lean_options += ["-c", '"%s"' % args.cache]
if args.lean_config_option: if args.lean_config_option:
for item in args.lean_config_option: for item in args.lean_config_option:
args.lean_options.append("-D" + item) args.lean_options.append("-D" + item)