echo "ERROR: powerpc ppc64_defconfig build failed - log follows"
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
cat \$log_ppc
echo "ERROR: powerpc ppc64_defconfig build failed - log follows"
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
cat \$log_ppc