From 45b5f8b728f7df3a44731d0fbc42b52d99c69ef7 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 7 Jun 2019 10:02:51 +0200
Subject: Dune: run coqc with -w +default

This matches the makefile build with -warn-error.
---
 tools/coq_dune.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools')

diff --git a/tools/coq_dune.ml b/tools/coq_dune.ml
index 6ddc503542..b5d1e01630 100644
--- a/tools/coq_dune.ml
+++ b/tools/coq_dune.ml
@@ -128,6 +128,7 @@ module Options = struct
   [ { enabled = false; cmd = "-debug"; }
   ; { enabled = false; cmd = "-native_compiler"; }
   ; { enabled = true; cmd = "-allow-sprop"; }
+  ; { enabled = true; cmd = "-w +default"; }
   ]
 
   let build_coq_flags () =
-- 
cgit v1.2.3