1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 9daaeea4a4..ca3d88a983 100644
--- a/Makefile
+++ b/Makefile
@@ -77,8 +77,8 @@ LOCALINCLUDES=-I config -I tools -I tools/coqdoc \
 
 MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
 
-BYTEFLAGS=$(MLINCLUDES) $(CAMLDEBUG) -w y
-OPTFLAGS=$(MLINCLUDES) $(CAMLTIMEPROF) -w y -noassert
+BYTEFLAGS=$(MLINCLUDES) $(CAMLDEBUG)
+OPTFLAGS=$(MLINCLUDES) $(CAMLTIMEPROF) -noassert
 OCAMLDEP=ocamldep
 DEPFLAGS=$(LOCALINCLUDES)