| commit | 6b68a3ea815ba45b3c3844ceb1258df9e8196ce9 | [log] [tgz] |
|---|---|---|
| author | Don Garrett <dgarrett@google.com> | Tue Sep 16 13:26:33 2014 -0700 |
| committer | Don Garrett <dgarrett@chromium.org> | Tue Sep 16 20:50:47 2014 +0000 |
| tree | d91c91251d18d1004c41fbd0b3a6383901975e25 | |
| parent | 8f5a7c4d12395e5688ff8ba3f6258b9c5d416e35 [diff] |
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>