aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 0485621..1f20ab0 100644
--- a/Makefile
+++ b/Makefile
@@ -25,6 +25,10 @@ setup:
@echo -n > deps.mk
@./scripts/gen-deps -p FWD -c COMPILE_FWD -b fwd "$(FWD_SOURCES)"
+.PHONY: check
+check: all
+ $(MAKE) -C tests -k check
+
CLEANUP := build deps.mk fwd
CLEANUP_CMD :=
FWD_SOURCES :=
@@ -51,6 +55,7 @@ RM = rm
.PHONY: clean
clean:
+ $(MAKE) -C tests clean
$(RM) -rf $(CLEANUP)
.PHONY: clean_docs