diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -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 |