diff --git a/gen_makefile.py b/gen_makefile.py index 08779d5..fe255a5 100755 --- a/gen_makefile.py +++ b/gen_makefile.py @@ -206,6 +206,7 @@ def gen_make(proj, deps, configure_opts, jobs, make_dir, src_dir, build_dir, url sync touch $@ +.PHONY: {proj} {proj}: .make.{proj}.install .PHONY: {proj}-reinstall