diff options
Diffstat (limited to 'script')
-rwxr-xr-x | script/trees | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/script/trees b/script/trees index f090f539..a773f03c 100755 --- a/script/trees +++ b/script/trees @@ -131,7 +131,7 @@ handle_src_tree() load_project_config "$target_dir" x_ mkdir -p "$elfdir/$target" - [ -z "$tree" ] && $err "handle_src_tree $project/$tree: tree unset" + chkvars tree cdir="src/$project/$tree" if [ ! -d "$cdir" ]; then @@ -279,8 +279,7 @@ mkpayload_grub() . "$grubdata/module/$tree" || $err "$tree: !source grub modules" - [ -z "$grub_install_modules" ] && $err "$tree: install modules unset" - [ -z "$grub_modules" ] && $err "$tree: modules unset" + chkvars "grub_install_modules" "grub_modules" "${cdir}/grub-mkstandalone" --grub-mkimage="${cdir}/grub-mkimage" \ -O i386-coreboot -o "${cdir}/grub.elf" -d "${cdir}/grub-core/" \ |