tree b4f8ea45281189ec7be50353cef8ed930ffcf0de
parent 0a9d32d61bcfa9563b426dad1eb140d815e13028
author Olof Johansson <olofj@chromium.org> 1343964947 -0700
committer Gerrit <chrome-bot@google.com> 1344029070 -0700

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>