diff options
| author | Son Ho | 2022-11-11 21:34:29 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-14 14:21:04 +0100 |
| commit | 6db835db88c4bcf0e00ce1a7a6bc396382b393c3 (patch) | |
| tree | 3b2a9d46467cf313e3af641cd164e61af2a09541 /tests/Makefile | |
| parent | b191070501ceafdd49c999385c4410848249fe18 (diff) | |
Reorganize the project to prepare for new backends
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 |