diff options
-rwxr-xr-x | script/update/trees | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/update/trees b/script/update/trees index 44a63263..f046b027 100755 --- a/script/update/trees +++ b/script/update/trees @@ -175,7 +175,7 @@ handle_src_tree() check_cross_compiler() { [ "$project" = "u-boot" ] || [ "$project" = "coreboot" ] || return 0 - [ -z "${arch}" ] && return 0 + [ -z "${arch}" ] && err "${project}/${tree}: arch isn't set" _arch="${arch}" [ "${arch}" = "aarch64-elf" ] && _arch="aarch64-elf arm-eabi" |