diff options
Diffstat (limited to 'otherlibs/Makefile.shared')
| -rw-r--r-- | otherlibs/Makefile.shared | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/Makefile.shared b/otherlibs/Makefile.shared index b101292126..99472596fb 100644 --- a/otherlibs/Makefile.shared +++ b/otherlibs/Makefile.shared @@ -21,7 +21,7 @@ include $(ROOTDIR)/config/Makefile # Compilation options CC=$(BYTECC) CAMLRUN=$(ROOTDIR)/boot/ocamlrun -COMPFLAGS=-w +33..88 -warn-error A -g $(EXTRACAMLFLAGS) +COMPFLAGS=-w +33..38 -warn-error A -g $(EXTRACAMLFLAGS) MKLIB=$(CAMLRUN) $(ROOTDIR)/tools/ocamlmklib # Variables to be defined by individual libraries: |