From 07d479c305bddc19c5806fa251a49d353e7511da Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 27 Jan 2021 10:50:38 -0500 Subject: [PATCH] chore: try to fix the freakin CI --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 1ee3eba7..3ff42e4e 100644 --- a/src/dune +++ b/src/dune @@ -3,6 +3,6 @@ (name tiny_httpd) (public_name tiny_httpd) (libraries threads) - (inline_tests (backend qtest.lib)) + (inline_tests (backend qtest.lib) (flags :standard -warn-error -a+8)) (flags :standard -safe-string) (wrapped false))