tree d91c91251d18d1004c41fbd0b3a6383901975e25
parent 8f5a7c4d12395e5688ff8ba3f6258b9c5d416e35
author Don Garrett <dgarrett@google.com> 1410899193 -0700
committer Don Garrett <dgarrett@chromium.org> 1410900647 +0000

Paygen: Accept (but ignore) --patch_kernel.

To allow command line compatibility with old versions of this script, we
need to maintain this command line option, even if we ignore it.

BUG=chromium:414322
TEST=None

Change-Id: Id254a1fc3fed6d0a3adc752b716b0e42461ab8c7
Reviewed-on: https://chromium-review.googlesource.com/218444
Tested-by: Don Garrett <dgarrett@chromium.org>
Reviewed-by: Gilad Arnold <garnold@chromium.org>
Commit-Queue: Don Garrett <dgarrett@chromium.org>