>>> Building on macppc-1 under devel/cbmc
	BDEPENDS = [devel/bison;devel/gmake]
	DIST = [devel/cbmc:cbmc-cbmc-6.7.1.tar.gz;devel/cbmc:minisat2_2.2.1.orig.tar.gz]
	FULLPKGNAME = cbmc-6.7.1
(Junk lock failure for macppc-1 at 1791796232.48658)
Received IO
(Junk lock obtained for macppc-1 at 1791796243.14)
Woken up devel/cbmc
Short-cut: depends already handled by x11/libhandy
>>> Running show-prepare-results in devel/cbmc at 1791796256.50
make: don't know how to make show-prepare-results
Stop in /usr/ports
(Junk lock released for macppc-1 at 1791796256.85)
Woken up sysutils/bubblemon-dockapp
>>> Ended at 1791796256.86
max_stuck=0.00/waiting-for-lock #615=24.04/show-prepare-results=0.73
Error: job failed with 512 on macppc-1 at 1791796258