bench: add a dummy makefile target

ocaml · Jun 11, 2024 · 064900d · 064900d
1 parent f42b910
commit 064900d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -25,4 +25,7 @@ bench_disabled:
 	echo "Benchmark result:"
 	jq . merl-an_bench/bench.json
 
-.PHONY: all build dev clean test promote bench_disabled
+bench:
+	echo ""
+
+.PHONY: all build dev clean test promote bench bench_disabled