diff --git a/echo.sh b/echo.sh index c97ce729..0f6cf2d7 100755 --- a/echo.sh +++ b/echo.sh @@ -1,2 +1,2 @@ #!/bin/sh -exec dune exec "examples/echo.exe" -- $@ +exec dune exec --profile=release "examples/echo.exe" -- $@