From 84833448026bfd5c5ef634d937d30017138f22b4 Mon Sep 17 00:00:00 2001 From: Stefan Reinauer Date: Tue, 13 Nov 2012 15:04:12 -0800 Subject: Drop Kconfig.deprecated_options Both remaining options, DRIVERS_PS2_KEYBOARD and ID_SECTION_OFFSET are not likely to go away any time soon, so let's not keep them in Kconfig.deprecated_options but move them close to the code they control. Change-Id: I310b877c5b3d5a3444056641c4aee07a48c4c4be Signed-off-by: Stefan Reinauer Reviewed-on: http://review.coreboot.org/1839 Tested-by: build bot (Jenkins) Reviewed-by: Ronald G. Minnich --- src/Kconfig | 1 - 1 file changed, 1 deletion(-) (limited to 'src/Kconfig') diff --git a/src/Kconfig b/src/Kconfig index 062366f..a8f5221 100644 --- a/src/Kconfig +++ b/src/Kconfig @@ -1179,5 +1179,4 @@ config POWER_BUTTON_IS_OPTIONAL help Internal option that controls ENABLE_POWER_BUTTON visibility. -source src/Kconfig.deprecated_options source src/vendorcode/Kconfig -- cgit v1.1