From 2f41c0280685615aae03efcdfd1d39941e7c1232 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 7 Mar 2016 09:29:29 +0100
Subject: Re-enable OCaml warnings disabled by mistake as part of e759333.

---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.build b/Makefile.build
index 48f448ce8a..0f85608f9a 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -69,7 +69,7 @@ TIMED=          # non-empty will activate a default time command
 
 TIMECMD=	# if you prefer a specific time command instead of $(STDTIME)
                 # e.g. "'time -p'"
-CAMLFLAGS:=${CAMLFLAGS} -w -3
+
 # NB: if you want to collect compilation timings of .v and import them
 # in a spreadsheet, I suggest something like:
 #   make TIMED=1 2> timings.csv
-- 
cgit v1.2.3