bmake[1]: "/Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/lang/ocaml/ocaml.mk" line 237: warning: duplicate script for target "do-build" ignored
bmake[1]: "Makefile" line 48: warning: using previous script for "do-build" defined here
===> Cleaning for coq-8.15.2nb19