the following patch was just integrated into master:
commit 84833448026bfd5c5ef634d937d30017138f22b4
Author: Stefan Reinauer <[email protected]>
Date:   Tue Nov 13 15:04:12 2012 -0800

    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 <[email protected]>
    Reviewed-on: http://review.coreboot.org/1839
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <[email protected]>

Build-Tested: build bot (Jenkins) at Wed Nov 14 06:06:51 2012, giving +1
See http://review.coreboot.org/1839 for details.

-gerrit

-- 
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to