diff options
| author | Anukriti12 <anu1999kriti@gmail.com> | 2020-04-04 10:19:50 +0530 |
|---|---|---|
| committer | octachron <octa@polychoron.fr> | 2021-03-31 15:03:50 +0200 |
| commit | fd247ba17b11018c5d5630b1704bccde65066301 (patch) | |
| tree | 50614d3dd005df248ec432ef8faee6093644411d /ocamldoc | |
| parent | bef455a872fa5c02e0851d6e47f25d52ca8010f8 (diff) | |
| download | ocaml-fd247ba17b11018c5d5630b1704bccde65066301.tar.gz | |
added warning for missing mli interface file
Diffstat (limited to 'ocamldoc')
| -rw-r--r-- | ocamldoc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 1159673359..47ec0bcf78 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -75,7 +75,7 @@ INCLUDES_NODEP=\ DEPINCLUDES=$(INCLUDES_DEP) INCLUDES=$(INCLUDES_DEP) $(INCLUDES_NODEP) -COMPFLAGS=$(INCLUDES) -absname -w +a-4-9-41-42-44-45-48 -warn-error +A \ +COMPFLAGS=$(INCLUDES) -absname -w +a-4-9-41-42-44-45-48-70 -warn-error +A \ -safe-string -strict-sequence -strict-formats -bin-annot -principal LINKFLAGS=$(INCLUDES) -nostdlib |