summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile11
1 files changed, 9 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 369236e..ee2feab 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,10 @@
.PHONY: check
-check:
- $(MAKE) -C files/overlays $@
+check: check-overlays check-mirrors
+
+.PHONY: check-overlays
+check-overlays:
+ $(MAKE) -C files/overlays check
+
+.PHONY: check-mirrors
+check-mirrors:
+ $(MAKE) -C files/mirrors check