From c4da650e4516e3ba2077fd7bc5024a2f62109e5b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 18 Jan 2019 22:38:03 -0600
Subject: [PATCH] perf: use release profile in msat.sh

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

diff --git a/msat.sh b/msat.sh
index d111c6b0..6428999f 100755
--- a/msat.sh
+++ b/msat.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-exec dune exec src/main/main.exe -- $@
+exec dune exec --profile=release src/main/main.exe -- $@