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

fix(bin/lmake): missing case: no makefile & dir specified

Browse source 
close #27
This commit is contained in:
Soonho Kong 2014-08-06 07:40:03 -07:00
parent da616f69ea
commit b0a25cdbc9
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
bin/lmake
View file

@ -175,7 +175,8 @@ def main(argv=None):
if makefile is None and directory is None: if makefile is None and directory is None:
makefile_names = ["GNUmakefile", "makefile", "Makefile"] makefile_names = ["GNUmakefile", "makefile", "Makefile"]
makefile = find_makefile_upward(working_dir, makefile_names) makefile = find_makefile_upward(working_dir, makefile_names)
directory = os.path.dirname(makefile) if makefile:
directory = os.path.dirname(makefile)
if directory or makefile: if directory or makefile:
call_makefile(directory, makefile, args) call_makefile(directory, makefile, args)
for arg in args: for arg in args: