diff options
| -rwxr-xr-x | script/build/boot/roms | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/script/build/boot/roms b/script/build/boot/roms index f80e2a3a..571e4da3 100755 --- a/script/build/boot/roms +++ b/script/build/boot/roms @@ -58,12 +58,7 @@ handle_targets() err "handle_targets: Cannot get list of boards" check_targets - - for board in ${boards}; do - ./build boot roms_helper ${board}${opts} || \ - err "handle_targets ${board}${opts}: build error" - [ -d "bin/${board}" ] && targets="${board} ${targets}" - done + build_bootroms } check_targets() @@ -74,6 +69,15 @@ check_targets() done } +build_bootroms() +{ + for board in ${boards}; do + ./build boot roms_helper ${board}${opts} || \ + err "handle_targets ${board}${opts}: build error" + [ -d "bin/${board}" ] && targets="${board} ${targets}" + done +} + confirm_targets() { [ -z "${targets}" ] && err "No ROM images were compiled." |