diff options
| -rwxr-xr-x | script/build/boot/roms | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/script/build/boot/roms b/script/build/boot/roms index 9ddbb03e..f80e2a3a 100755 --- a/script/build/boot/roms +++ b/script/build/boot/roms @@ -57,15 +57,23 @@ handle_targets() [ "${first}" != "all" ] || boards="$(listitems config/coreboot)" || \ err "handle_targets: Cannot get list of boards" + check_targets + for board in ${boards}; do - [ -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 } +check_targets() +{ + for board in ${boards}; do + [ -d "config/coreboot/${board}/" ] || \ + err "check_targets: target not defined: ${board}" + done +} + confirm_targets() { [ -z "${targets}" ] && err "No ROM images were compiled." |