chore: modify dune flags in http_of_dir

This commit is contained in:
Simon Cruanes 2024-01-31 22:16:40 -05:00
parent 51e1d1ece5
commit 9ba1a5a328
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,2 +1,3 @@
#!/bin/sh #!/bin/sh
exec dune exec ./src/bin/http_of_dir.exe -- $@ OPTS="--display=quiet --profile=release"
exec dune exec $OPTS ./src/bin/http_of_dir.exe -- $@