tree 50286f47d7dbb8d3c523feeb242d10e056b7a406
parent d72e950adb16c2263306d76b69d5d20d93f14804
author Gabe Black <gabeblack@chromium.org> 1409905750 -0700
committer chrome-internal-fetch <chrome-internal-fetch@google.com> 1410357739 +0000

devserver: Deprecate the --no_patch_kernel option.

It doesn't do anything any more, and it's not being used by any callers.

CQ-DEPEND=CL:216577
BUG=chromium:403031
TEST=Ran a butterfly-paladin trujob with --hwtest.

Change-Id: Ife2c452b98d0e11a22ad4416b15defb842710c24
Reviewed-on: https://chromium-review.googlesource.com/216611
Reviewed-by: Yu-Ju Hong <yjhong@chromium.org>
Reviewed-by: Don Garrett <dgarrett@chromium.org>
Commit-Queue: Gabe Black <gabeblack@chromium.org>
Tested-by: Gabe Black <gabeblack@chromium.org>