From 729c72a27d74f118195591658e4f12802dceabf4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 18 Jul 2022 23:28:45 -0400
Subject: [PATCH] sidekick.sh: make dune phase silent

---
 sidekick.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sidekick.sh b/sidekick.sh
index 15d7fdad..b55bb625 100755
--- a/sidekick.sh
+++ b/sidekick.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
-OPTS=--profile=release
+OPTS="--profile=release --display=quiet"
 exec dune exec $OPTS ./src/main/main.exe -- $@