+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /usr/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/coq-8.20.1nb2/work.log
+ su pbulk -c '"$@"' make /usr/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/coq-8.20.1nb2/work.log
===> Installing for coq-8.20.1nb2
=> Generating pre-install file lists
=> Creating installation directories
/usr/bin/strip: /home/pbulk/build/lang/coq/work/.destdir//usr/pkg/lib/ocaml/site-lib/coq-core/tools/TimeFileMaker.py: file format not recognized
install: stripping /home/pbulk/build/lang/coq/work/.destdir//usr/pkg/lib/ocaml/site-lib/coq-core/tools/TimeFileMaker.py: No such file or directory
Fatal error: exception Opaline.Install_error(1, "_build/install/default/lib/coq-core/tools/TimeFileMaker.py")
*** Error code 2

Stop.
bmake[1]: stopped making "stage-install" in /data/jenkins/workspace/pkgsrc-netbsd-trunk-x86_64/lang/coq
*** Error code 1

Stop.
bmake: stopped making "stage-install" in /data/jenkins/workspace/pkgsrc-netbsd-trunk-x86_64/lang/coq