From 5a968f69f72245237f76625192fba3fa0d109ec3 Mon Sep 17 00:00:00 2001 From: ygrek Date: Wed, 31 Dec 2014 02:01:56 +0800 Subject: [PATCH] silence "deprecated" warnings --- config/Makefile.config.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/Makefile.config.in b/config/Makefile.config.in index f6c58f30..5269b600 100644 --- a/config/Makefile.config.in +++ b/config/Makefile.config.in @@ -9,9 +9,9 @@ CXX=@CXX@ FIX_BROKEN_CPP=@FIX_BROKEN_CPP@ CONFIG_INCLUDES=@CONFIG_INCLUDES@ -OCAMLC=@OCAMLC@ +OCAMLC=@OCAMLC@ -w -3 OCAMLLIB=@OCAMLLIB@ -OCAMLOPT=@OCAMLOPT@ -inline 10 +OCAMLOPT=@OCAMLOPT@ -inline 10 -w -3 OCAMLLEX=@OCAMLLEX@ OCAMLDEP=@OCAMLDEP@ @OCAMLDEP_OPTIONS@ OCAMLDEP_OPTIONS=@OCAMLDEP_OPTIONS@ -- 2.11.4.GIT