summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile14
1 files changed, 3 insertions, 11 deletions
diff --git a/Makefile b/Makefile
index 22b032ab..4e8a8e65 100644
--- a/Makefile
+++ b/Makefile
@@ -1,18 +1,10 @@
DIST = debian
-.PHONY: infest it all so aggressive coop
+.PHONY: infest all
all: select-target
-it: so
-so: it coop
-aggressive: coop
- infest/etc_aggressive
-coop:
- infest/etc_coop
- infest/home
-
-# compatibility
-infest: aggressive
+infest:
+ make -C modules/infest
install-core:
core/$(DIST)