diff --git a/src/dune b/src/dune index f5c2eed64..487e9cfcf 100644 --- a/src/dune +++ b/src/dune @@ -1,7 +1,7 @@ (env (dev (flags :standard -rectypes -w @1..3@5..28@31..39@43@46..47@49..57@61..62-40-9-23-32-67-69 -warn-error -a+31)) (ci (flags :standard -rectypes -w @1..3@5..28@31..39@43@46..47@49..57@61..62-40-9-23-32-67-69 -warn-error +a)) - (release (flags :standard -rectypes) + (release (flags :standard -rectypes -w @1..3@5..28@31..39@43@46..47@49..57@61..62-40-9-23-32-67-69 -warn-error -a) (ocamlopt_flags -O3 -unbox-closures)))