diff options
Diffstat (limited to 'tests/Makefile')
| -rw-r--r-- | tests/Makefile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/tests/Makefile b/tests/Makefile deleted file mode 100644 index a9c170f7..00000000 --- a/tests/Makefile +++ /dev/null @@ -1,19 +0,0 @@ -ALL_DIRS ?= $(filter-out Makefile%, $(wildcard *)) - -VERIFY_DIRS = $(addprefix verif-,$(ALL_DIRS)) - -CLEAN_DIRS = $(addprefix clean-,$(ALL_DIRS)) - -.PHONY: all -all: $(VERIFY_DIRS) - -.PHONY: clean -clean: $(CLEAN_DIRS) - -.PHONY: verif-% -verif-%: - cd $* && make all - -.PHONY: clean-% -clean-%: - cd $* && make clean |