diff options
| -rwxr-xr-x | script/build/boot/roms | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/script/build/boot/roms b/script/build/boot/roms index 923ba83d..9ddbb03e 100755 --- a/script/build/boot/roms +++ b/script/build/boot/roms @@ -58,17 +58,14 @@ handle_targets() err "handle_targets: Cannot get list of boards" for board in ${boards}; do - build_target "${board}" || err "handle_targets: build error" + [ -d "config/coreboot/${board}/" ] || \ + err "handle_targets: target not defined: ${board}" + ./build boot roms_helper ${board}${opts} || \ + err "handle_targets ${board}${opts}: build error" [ -d "bin/${board}" ] && targets="${board} ${targets}" done } -build_target() { - [ -d "config/coreboot/${1}/" ] || \ - err "build/roms: target not defined: ${1}" - ./build boot roms_helper ${1}${opts} || return 1 -} - confirm_targets() { [ -z "${targets}" ] && err "No ROM images were compiled." |