summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authortv <tv@also>2011-05-26 12:56:48 +0200
committertv <tv@also>2011-05-26 12:58:10 +0200
commit884100fc8ab0c46a08314bc68efe7fb0ee731c42 (patch)
tree89abd7c82db13ca77f43c0c6fa52fe36b7a5a6e9 /Makefile
parent8c62e86262ba910a1d3ef4870ce5343dc4e2fefb (diff)
infestation: kill capt. obvious
Also move dep-foo to Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile13
1 files changed, 7 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index 50e94bd2..22b032ab 100644
--- a/Makefile
+++ b/Makefile
@@ -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)