simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 04:14:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

perf: use release profile in msat.sh

Browse source
This commit is contained in:
Simon Cruanes 2019-01-18 22:38:03 -06:00 • committed by Guillaume Bury
parent 1b6ff0e849
commit c4da650e45
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
msat.sh
View file

@ -1,3 +1,3 @@
#!/bin/sh #!/bin/sh
exec dune exec src/main/main.exe -- $@ exec dune exec --profile=release src/main/main.exe -- $@