| commit | 6b68a3ea815ba45b3c3844ceb1258df9e8196ce9 | [log] [tgz] |
|---|---|---|
| author | Don Garrett <[email protected]> | Tue Sep 16 20:26:33 2014 |
| committer | Don Garrett <[email protected]> | Tue Sep 16 20:50:47 2014 |
| 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 <[email protected]> Reviewed-by: Gilad Arnold <[email protected]> Commit-Queue: Don Garrett <[email protected]>