aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 8fadd8d..de06ae5 100644
--- a/Makefile
+++ b/Makefile
@@ -92,6 +92,11 @@ check: bin/test
# the test itself never prints to standard error.
+.PHONY: run-benchmark
+run-benchmark: bin/benchmark
+ for i in $$(seq 7) ; do env LD_LIBRARY_PATH=bin bin/benchmark ; done | median
+
+
.PHONY: clean
clean: