Possible lintapidiff patch

dra27 · dra27 · commit 5f2f478d8aee · 2022-12-06T20:46:59.000Z
diff --git a/Makefile b/Makefile
@@ -286,7 +286,7 @@ endif
 	  $(WITH_OCAMLTEST)
 	$(MAKE) ocamlopt.opt
 	$(MAKE) otherlibrariesopt
-	$(MAKE) ocamllex.opt ocamltoolsopt ocamltoolsopt.opt $(OCAMLDOC_OPT) \
+	$(MAKE) ocamllex.opt ocamltoolsopt.opt $(OCAMLDOC_OPT) \
 	  $(OCAMLTEST_OPT) othertools ocamlnat
 ifeq "$(WITH_OCAMLDOC)-$(STDLIB_MANPAGES)" "ocamldoc-true"
 	$(MAKE) manpages
@@ -1289,14 +1289,14 @@ lintapidiff_LIBRARIES = \
   otherlibs/str/str
 lintapidiff_MODULES = tools/lintapidiff
 
-tools/lintapidiff.opt$(EXE): VPATH += $(ROOTDIR)/otherlibs/str
+tools/lintapidiff$(EXE): VPATH += otherlibs/str
 
 VERSIONS=$(shell git tag|grep '^[0-9]*.[0-9]*.[0-9]*$$'|grep -v '^[12].')
 .PHONY: lintapidiff
-lintapidiff: tools/lintapidiff.opt$(EXE)
+lintapidiff: tools/lintapidiff$(EXE)
 	git ls-files -- 'otherlibs/*/*.mli' 'stdlib/*.mli' |\
 	    grep -Ev internal\|obj\|stdLabels\|moreLabels |\
-	    tools/lintapidiff.opt $(VERSIONS)
+	    $< $(VERSIONS)
 
 # Tools
 
