commit 3c5d4208f80ad4567d291c92591c85828d5742f2
author Gabe Black <gabeblack@chromium.org> Fri Sep 05 01:29:10 2014 -0700
committer chrome-internal-fetch <chrome-internal-fetch@google.com> Wed Sep 10 14:02:19 2014 +0000
tree 50286f47d7dbb8d3c523feeb242d10e056b7a406
parent d72e950adb16c2263306d76b69d5d20d93f14804

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>