remove some deprecated files

2025-08-29 00:41:25 -06:00
parent 63d7d59580
commit 2c28eb4194
3 changed files with 0 additions and 45 deletions
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,18 +0,0 @@
-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