tighten flags; little fix

This commit is contained in:
Simon Cruanes 2023-06-03 22:45:38 -04:00
parent 5d7637becc
commit c907dc6af1
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 7 additions and 2 deletions

View file

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

View file

@ -1,8 +1,13 @@
(env
(_
(flags :standard -warn-error -a+8 -w +a-4-32-40-42-44-70 -color always -safe-string
-strict-sequence)))
(library
(name tiny_httpd)
(public_name tiny_httpd)
(libraries threads seq)
(flags :standard -safe-string -strict-sequence -w +a-4-40-42 -warn-error -a+8)
(wrapped false))
(rule