summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSébastien Hinderer <seb@tarides.com>2022-12-13 14:14:34 +0100
committerSébastien Hinderer <seb@tarides.com>2022-12-13 14:14:34 +0100
commit70befd9de9527a42a3c69c70906cb0981dc5a48d (patch)
tree357a1fb74b1a5b329e1d322d16a75472dec1b3ae /Makefile
parentf61b76eee48327ff901e13e7551a4bcd517132b5 (diff)
downloadocaml-70befd9de9527a42a3c69c70906cb0981dc5a48d.tar.gz
lintapidiff does not need to depend on the ocamlmiddleend library
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 2fbf9f98a6..b3e51f49fc 100644
--- a/Makefile
+++ b/Makefile
@@ -1295,7 +1295,7 @@ endif
# Lint @since and @deprecated annotations
lintapidiff_LIBRARIES = \
- $(addprefix compilerlibs/,ocamlcommon ocamlbytecomp ocamlmiddleend) \
+ $(addprefix compilerlibs/,ocamlcommon ocamlbytecomp) \
otherlibs/str/str
lintapidiff_MODULES = tools/lintapidiff