rename testbench to tests

2021-09-09 00:58:28 -06:00
parent b7cd786182
commit 2d69722cb1
15 changed files with 0 additions and 0 deletions
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -0,0 +1,18 @@
+all: verify
+
+BENCH ?= $(sort $(dir $(wildcard test_*/)))
+
+# override bench to disable test_c
+BENCH = test_basic
+
+verify:
+	$(foreach dir, $(BENCH), make -C $(dir) verify;)
+
+clean:
+	$(foreach dir, $(BENCH), make -C $(dir) clean;)
+
+help:
+	$(info BENCH options: [${BENCH}])
+
+.SECONDARY:
+.PHONY: all clean verify help