build_kernel_image: fix duplicate options
Don't append common options twice.
BUG=chromium-os:33220
TEST=build image, check bootargs
Change-Id: I632b6a9c7726ff3838e84c51ed8cea77142ba948
Reviewed-on: https://gerrit.chromium.org/gerrit/29134
Reviewed-by: Gaurav Shah <gauravsh@chromium.org>
Reviewed-by: Puneet Kumar <puneetster@chromium.org>
Tested-by: Puneet Kumar <puneetster@chromium.org>
Commit-Ready: Puneet Kumar <puneetster@chromium.org>
diff --git a/build_kernel_image.sh b/build_kernel_image.sh
index 80b17b3..061970a 100755
--- a/build_kernel_image.sh
+++ b/build_kernel_image.sh
@@ -146,8 +146,7 @@
# Legacy BIOS will use the kernel in the rootfs (via syslinux), as will
# standard EFI BIOS (via grub, from the EFI System Partition). Chrome OS
# BIOS will use a separate signed kernel partition, which we'll create now.
- cat <<EOF | cat - "${FLAGS_working_dir}/boot.config" \
- >> "${FLAGS_working_dir}/config.txt"
+ cat <<EOF >> "${FLAGS_working_dir}/config.txt"
add_efi_memmap
boot=local
noresume
