diff --git a/Makefile b/Makefile index 90d96c2ac..bbf755a66 100644 --- a/Makefile +++ b/Makefile @@ -52,7 +52,7 @@ INCLUDES=-I utils -I parsing -I typing -I bytecomp -I file_formats \ -I asmcomp -I asmcomp/debug \ -I driver -I toplevel -COMPFLAGS=-strict-sequence -principal -absname -w +a-4-9-41-42-44-45-48-66 \ +COMPFLAGS=-strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66 \ -warn-error A \ -bin-annot -safe-string -strict-formats $(INCLUDES) LINKFLAGS= diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile index f3c031e37..2a59ad5bf 100644 --- a/otherlibs/dynlink/Makefile +++ b/otherlibs/dynlink/Makefile @@ -30,7 +30,7 @@ OCAMLC = $(CAMLRUN) $(ROOTDIR)/ocamlc -nostdlib -I $(ROOTDIR)/stdlib OCAMLOPT = $(CAMLRUN) $(ROOTDIR)/ocamlopt -nostdlib -I $(ROOTDIR)/stdlib # COMPFLAGS should be in sync with the toplevel Makefile's COMPFLAGS. -COMPFLAGS=-strict-sequence -principal -absname -w +a-4-9-41-42-44-45-48-66 \ +COMPFLAGS=-strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66 \ -warn-error A \ -bin-annot -safe-string -strict-formats ifeq "$(FLAMBDA)" "true"