diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -1,18 +1,19 @@ DIST = debian -.PHONY: all +.PHONY: infest it all so aggressive coop all: select-target -.PHONY: infest aggressive coop - -infest: aggressive -aggressive: +it: so +so: it coop +aggressive: coop infest/etc_aggressive - infest/home coop: infest/etc_coop infest/home +# compatibility +infest: aggressive + install-core: core/$(DIST) |