diff options
author | Paul Kocialkowski <contact@paulk.fr> | 2016-07-13 11:00:41 +0200 |
---|---|---|
committer | Nico Huber <nico.h@gmx.de> | 2016-07-15 00:06:09 +0200 |
commit | 585c781323c5dcffc8c753c0ff30449dea2f00e5 (patch) | |
tree | f4c829ca989d6e5916e40ffb8301bac3fe318077 /.gitignore | |
parent | bcfa7ccb2864d8150d42ddde8e03d16aeada25e7 (diff) |
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@paulk.fr>
Reviewed-on: https://review.coreboot.org/15651
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions