diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:30:26 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:30:26 +0200 |
commit | 2f12b922dc144d075aae96ec0e51f9bde09e6320 (patch) | |
tree | c2150b5211e5dda2f3289efc8b766f2d5ae7512b /ocamldoc/Makefile | |
parent | c23a38a9444b8bc84cb816eaa4f484ffc62a32ee (diff) | |
download | ocaml-2f12b922dc144d075aae96ec0e51f9bde09e6320.tar.gz |
Report warning 70 about missing interfaces as an error
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 65484a3c09..5f5c9493be 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -66,7 +66,7 @@ OC_OCAMLDEPDIRS = $(INCLUDE_DIRS) INCLUDES=$(INCLUDES_DEP) $(INCLUDES_NODEP) COMPFLAGS = \ - -g $(INCLUDES) -absname -w +a-4-9-41-42-44-45-48 -warn-error +A-70 \ + -g $(INCLUDES) -absname -w +a-4-9-41-42-44-45-48 -warn-error +A \ -safe-string -strict-sequence -strict-formats -bin-annot -principal LINKFLAGS = -g $(INCLUDES) |