summaryrefslogtreecommitdiff
path: root/ocamldoc/Makefile
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-06-30 18:30:26 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-06-30 18:30:26 +0200
commit2f12b922dc144d075aae96ec0e51f9bde09e6320 (patch)
treec2150b5211e5dda2f3289efc8b766f2d5ae7512b /ocamldoc/Makefile
parentc23a38a9444b8bc84cb816eaa4f484ffc62a32ee (diff)
downloadocaml-2f12b922dc144d075aae96ec0e51f9bde09e6320.tar.gz
Report warning 70 about missing interfaces as an error
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r--ocamldoc/Makefile2
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)