[coreboot-gerrit] Patch merged into coreboot/master: Makefile.inc: Strip CONFIG_DEVICETREE quotes at top of makefile

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit fc46583807d4d6e71127952174152af32de38b9a
Author: Martin Roth <martinroth at chromium.org>
Date:   Mon Aug 8 15:12:11 2016 -0600

    Makefile.inc: Strip CONFIG_DEVICETREE quotes at top of makefile
    
    Minor change - Instead of stripping the quotes from CONFIG_DEVICETREE
    inline, add it to the location where we normalize all the other Kconfig
    variables.
    
    Change-Id: Idbc58179c7b45160afef7d7e44f9b3b334f8c4a7
    Signed-off-by: Martin Roth <martinroth at chromium.org>
    Reviewed-on: https://review.coreboot.org/16116
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See https://review.coreboot.org/16116 for details.

-gerrit