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

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

Browse source 
related issue: #986
This commit is contained in:
Soonho Kong 2016-02-11 16:40:21 -05:00
parent 632d4fae36
commit d8fb6f5082
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bin/linja.in
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)