if [ "$ROCKCFG_POWERPC_ISA" = powerpc64 ] ; then
	arch_target32=powerpc-unknown-linux-gnu
fi