From c20ef2b205c4cab15f351355e6c2d5f5818fdbee Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Sat, 8 Jun 2024 16:31:15 +0200 Subject: [PATCH] rescript-tools: do not override flags for static linking --- tools/bin/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/bin/dune b/tools/bin/dune index e304573e3..674eca5b6 100644 --- a/tools/bin/dune +++ b/tools/bin/dune @@ -11,4 +11,4 @@ (name main) (libraries tools) (flags - (-w "+6+26+27+32+33+39"))) + (:standard -w "+6+26+27+32+33+39")))