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