From 12ae13cf2d90b2f8a3a26274235284aae60646c5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 12 Mar 2020 00:48:07 -0400
Subject: [dune] Fix ocamlopt_flags for release profile

Closes #11758

It turns out that we were overwriting the default `ocamlopt_flags`,
thus creating a problem in the release build.
---
 dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dune')

diff --git a/dune b/dune
index a3d596af48..d59346ed68 100644
--- a/dune
+++ b/dune
@@ -2,7 +2,7 @@
 (env
  (dev     (flags :standard -rectypes -w -9-27+40+60 \ -short-paths))
  (release (flags :standard -rectypes)
-          (ocamlopt_flags -O3 -unbox-closures))
+          (ocamlopt_flags :standard -O3 -unbox-closures))
  (ireport (flags :standard -rectypes -w -9-27-40+60)
           (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report)))
 
-- 
cgit v1.2.3