tweak script

This commit is contained in:
Simon Cruanes 2022-03-08 11:16:16 -05:00
parent fb1b1f9975
commit 70cf95d906
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,2 +1,2 @@
#!/bin/sh #!/bin/sh
exec dune exec "examples/echo.exe" -- $@ exec dune exec --profile=release "examples/echo.exe" -- $@