[coreboot-gerrit] Patch merged into coreboot/master: Makefile: Include config from DOTCONFIG instead of HAVE_DOTCONFIG

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 585c781323c5dcffc8c753c0ff30449dea2f00e5
Author: Paul Kocialkowski <contact at paulk.fr>
Date:   Wed Jul 13 11:00:41 2016 +0200

    Makefile: Include config from DOTCONFIG instead of HAVE_DOTCONFIG
    
    This includes the build config from the DOTCONFIG variable instead of
    HAVE_DOTCONFIG, which is expected to be used for tests. This slightly
    improves the readability and consistency of the Makefile.
    
    Change-Id: Id7cdf5d33024f21f3079db9d2ea47a8b847cd7b1
    Signed-off-by: Paul Kocialkowski <contact at paulk.fr>
    Reviewed-on: https://review.coreboot.org/15651
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit