From 585c781323c5dcffc8c753c0ff30449dea2f00e5 Mon Sep 17 00:00:00 2001
From: Paul Kocialkowski <contact@paulk.fr>
Date: Wed, 13 Jul 2016 11:00:41 +0200
Subject: 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>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c502d2c793..1c86bf6697 100644
--- a/Makefile
+++ b/Makefile
@@ -137,7 +137,7 @@ real-all: config
 
 else
 
-include $(HAVE_DOTCONFIG)
+include $(DOTCONFIG)
 
 -include .xcompile
 
-- 
cgit v1.2.3