+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb4/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb4/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Installing for idris-1.3.4nb4
=> Generating pre-install file lists
=> Creating installation directories
/home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/rts: createDirectory: permission denied (Disc quota exceeded)
*** Error code 1

Stop.
bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/idris
*** Error code 1

Stop.
bmake: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/idris