From e7b422333263bf49ed5f3b3fd43769ef1cdcfeab Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 25 Sep 2024 21:32:53 -0400
Subject: [PATCH] bench_primes script

---
 bench_primes.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 bench_primes.sh

diff --git a/bench_primes.sh b/bench_primes.sh
new file mode 100644
index 00000000..52b618c5
--- /dev/null
+++ b/bench_primes.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+OPTS="--profile=release --display=quiet"
+exec dune exec $OPTS -- benchs/primes.exe $@