diff options
author | tv <tv@also> | 2011-05-26 12:56:48 +0200 |
---|---|---|
committer | tv <tv@also> | 2011-05-26 12:58:10 +0200 |
commit | 884100fc8ab0c46a08314bc68efe7fb0ee731c42 (patch) | |
tree | 89abd7c82db13ca77f43c0c6fa52fe36b7a5a6e9 /Makefile | |
parent | 8c62e86262ba910a1d3ef4870ce5343dc4e2fefb (diff) |
infestation: kill capt. obvious
Also move dep-foo to Makefile
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) |