Change-Id: I9521241704d8c41b3a81f921f54bcb284ac581fb
This commit is contained in:
Tan Gao 2010-07-08 15:47:45 -07:00
parent 16ca07c92e
commit eb6914ed3c

View File

@ -194,7 +194,8 @@ menuentry "Alternate USB Boot" {
}
EOF
if [[ ${FLAGS_use_vboot} -eq ${FLAGS_TRUE} ]]; then
sed -i -e 's/^set default=.*/set default=2/' "${FLAGS_to}/efi/boot/grub.cfg"
sudo sed -i -e 's/^set default=.*/set default=2/' \
"${FLAGS_to}/efi/boot/grub.cfg"
fi
info "Emitted ${FLAGS_to}/efi/boot/grub.cfg"
exit 0