bmake[1]: "/data/jenkins/workspace/pkgsrc-el9-trunk-x86_64/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