- /usr/bin/time make ARCH=arm CROSS_COMPILE=arm-linux-gnueabi- O=\$d -j100 -O -s > \$log_arm 2>&1
- rc=\$?
-
- if [ \$rc -ne 0 ]; then
- echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
- echo "ERROR: arm multi_v7_defconfig build failed - log follows"
- echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
- cat \$log_arm
- kill \$x86_64_pid || true
- killall make
- rm .scmversion
- exit 1
+
+ if ! /usr/bin/time make ARCH=arm CROSS_COMPILE=arm-linux-gnueabi- O=\$d -j100 -O -s > \$log_arm 2>&1; then
+ do_fail 'arm multi_v7_defconfig' "\$log_arm" "\$x86_64_pid"