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

fix(bin/linja): allow non-exist cache argument

Browse source 
Fix #163
This commit is contained in:
Soonho Kong 2014-09-09 10:45:00 -07:00
parent 0505be2aca
commit 3950e341e0
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bin/linja
View file

@ -408,8 +408,6 @@ def parse_arg(argv):
error("--cache option can only be used with one target")
if not args.cache.endswith(".lean"):
error("cache argument has to be ends with .lean")
if not os.path.isfile(args.cache):
error("cache argument does not exist: %s" % args.cache)
args.cache = args.cache[:-4] + "clean"
args.targets = map(expand_target_to_fullname, args.targets)