From 2340cf0bf7405bb7402c188fe36b505b799547ca Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 3 May 2021 13:23:56 -0400 Subject: [PATCH] chore: tell dune to stop pestering with warn-error --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 1ee3eba7..ee350ab0 100644 --- a/src/dune +++ b/src/dune @@ -4,5 +4,5 @@ (public_name tiny_httpd) (libraries threads) (inline_tests (backend qtest.lib)) - (flags :standard -safe-string) + (flags :standard -safe-string -warn-error -a+8) (wrapped false))