Build: remove -O3 from dune file
dune
runs with release profile when using -p
, but -O3
fails, thus removing it from dune
file.
-
has a changelog entry
Edited by E. Rivas
dune
runs with release profile when using -p
, but -O3
fails, thus removing it from dune
file.