diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/trees | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/script/trees b/script/trees index f0071d5e..2619892f 100755 --- a/script/trees +++ b/script/trees @@ -170,8 +170,11 @@ check_cross_compiler() export CROSS_COMPILE="${xarch% *}-" [ -n "$xlang" ] && export BUILD_LANGUAGES="$xlang" - x_ make -C "$cbdir" crossgcc-${_xarch%-*} $cbmakeargs - done + # sometimes buildgcc fails for like no reason. try twice. + make -C "$cbdir" crossgcc-${_xarch%-*} $cbmakeargs || \ + make -C "$cbdir" crossgcc-${_xarch%-*} $cbmakeargs || \ + $err "!mkxgcc $project/$xtree '${_xarch%-*}' '$cbmakeargs'" + done; return 0 } check_coreboot_utils() |