From c907dc6af140656379edbaeaff50c466a4b30ab5 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 3 Jun 2023 22:45:38 -0400
Subject: [PATCH] tighten flags; little fix

---
 echo.sh  | 2 +-
 src/dune | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/echo.sh b/echo.sh
index 0f6cf2d7..fc660ce6 100755
--- a/echo.sh
+++ b/echo.sh
@@ -1,2 +1,2 @@
 #!/bin/sh
-exec dune exec --profile=release "examples/echo.exe" -- $@
+exec dune exec --display=quiet --profile=release "examples/echo.exe" -- $@
diff --git a/src/dune b/src/dune
index 5cccc26d..cebbd305 100644
--- a/src/dune
+++ b/src/dune
@@ -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