From 4c0fb63fb1dc321dcb01c14875b012821b9f5130 Mon Sep 17 00:00:00 2001 From: malc Date: Tue, 9 Aug 2011 09:17:18 +0400 Subject: [PATCH] Change default warning flags --- build.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.ml b/build.ml index f9c0b7f..7934fe6 100644 --- a/build.ml +++ b/build.ml @@ -96,7 +96,7 @@ let () = StrSet.empty in let mkcmo name = - cmopp ~flags:"-g -w y -I +lablGL -thread" ~dirname:srcdir name; + cmopp ~flags:"-g -w Alze -I +lablGL -thread" ~dirname:srcdir name; (name ^ ".cmo") in let cmos = so :: List.map mkcmo ["parser"; "main"] in -- 2.11.4.GIT