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 /Makefile | |
| 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 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -137,7 +137,7 @@ real-all: config else -include $(HAVE_DOTCONFIG) +include $(DOTCONFIG) -include .xcompile |