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

fix(bin/linja): add 'all' to phony target; allow multiple phony targets

Browse source
This commit is contained in:
Soonho Kong 2014-10-07 11:53:09 -07:00
parent 531de7990d
commit 14472b20eb
1 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
bin/linja
View file

@ -39,7 +39,7 @@ if platform.system().startswith("MSYS"):
else:
g_linja_path = os.path.abspath(os.path.realpath(__file__))
g_lean_bin_dir = os.path.dirname(g_linja_path)
g_phony_targets = ["clean", "tags", "clear-cache"]
g_phony_targets = ["all", "clean", "tags", "clear-cache"]
g_project_filename = ".project"
g_lean_path = "USE DEFAULT" # System will search automatically
g_ltags_path = "USE DEFAULT" # System will search automatically
@ -236,8 +236,6 @@ def process_args(args):
error("cache argument has to be ends with .lean")
args.cache = args.cache[:-4] + "clean"
args.phony_targets = list(set(g_phony_targets) & set(args.targets))
if len(args.phony_targets) > 1:
error("Please provide at most one phony target: " + str(args.phony_targets))
if args.verbose:
g_logger.setLevel(logging.INFO)
return args