From 9d1753b54f205f5c4b9489d8865aff877a4db6fa Mon Sep 17 00:00:00 2001
From: mdenes
Date: Thu, 24 Jan 2013 08:06:42 +0000
Subject: Native compiler: warnings were not turned off for OCaml 3.11

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16140 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/nativelib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativelib.ml')

diff --git a/kernel/nativelib.ml b/kernel/nativelib.ml
index f8474bf199..86fe45bdc4 100644
--- a/kernel/nativelib.ml
+++ b/kernel/nativelib.ml
@@ -65,7 +65,7 @@ let call_compiler ml_filename load_path =
   let link_filename = f ^ ".cmo" in
   let link_filename = Dynlink.adapt_filename link_filename in
   let comp_cmd =
-    Format.sprintf "%s -%s -o %s -rectypes -w -A -I %s %s"
+    Format.sprintf "%s -%s -o %s -rectypes -w a -I %s %s"
       compiler_name (if Dynlink.is_native then "shared" else "c")
       (Filename.quote link_filename) include_dirs (Filename.quote ml_filename)
   in
-- 
cgit v1.2.3