diff --git a/src/core/cpp/dune b/src/core/cpp/dune index 674e2093..fcb009f1 100644 --- a/src/core/cpp/dune +++ b/src/core/cpp/dune @@ -3,5 +3,5 @@ (executable (name cpp) (flags :standard -warn-error -a+8) - (modes native) + (modes (best exe)) (libraries dune.configurator))