=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq", "clean"]
===> Cleaning for coq-8.20.1nb8