From 9ba1a5a3287f8b35e40817e26a64309cf77603e9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 31 Jan 2024 22:16:40 -0500
Subject: [PATCH] chore: modify dune flags in http_of_dir

---
 http_of_dir.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/http_of_dir.sh b/http_of_dir.sh
index f9ba2a7b..a2338d18 100755
--- a/http_of_dir.sh
+++ b/http_of_dir.sh
@@ -1,2 +1,3 @@
 #!/bin/sh
-exec dune exec ./src/bin/http_of_dir.exe -- $@
+OPTS="--display=quiet --profile=release"
+exec dune exec $OPTS ./src/bin/http_of_dir.exe -- $@