diff options
| -rwxr-xr-x | script/build/coreboot/utils | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/script/build/coreboot/utils b/script/build/coreboot/utils index f7af680b..80711fae 100755 --- a/script/build/coreboot/utils +++ b/script/build/coreboot/utils @@ -43,8 +43,10 @@ main() build_for_mainboard() { board="${1}" - [ -d "resources/coreboot/${board}" ] || continue - [ -f "resources/coreboot/${board}/target.cfg" ] || continue + [ -d "resources/coreboot/${board}" ] || \ + err "build_for_mainboard ${board}: boarddir does not exist" + [ -f "resources/coreboot/${board}/target.cfg" ] || \ + err "build_for_mainboard ${board}: target.cfg does not exist" tree="undefined" . "resources/coreboot/${board}/target.cfg" # source [ "${tree}" = "undefined" ] && \ |