add echo_mio.sh

This commit is contained in:
Simon Cruanes 2024-09-06 17:19:56 -04:00
parent 7f9fae1fc8
commit a56dd0ec65
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

2
echo_mio.sh Executable file
View file

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