From 6db835db88c4bcf0e00ce1a7a6bc396382b393c3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 21:34:29 +0100
Subject: Reorganize the project to prepare for new backends

---
 tests/Makefile | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 tests/Makefile

(limited to 'tests/Makefile')

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
-- 
cgit v1.2.3