From 275f2e22a1a441d48a12bfe39ef3ce960efd7a04 Mon Sep 17 00:00:00 2001 From: Balaji Manigandan B Date: Wed, 3 Jul 2019 21:11:20 +0530 Subject: [PATCH] site-local: Allow to read Makefile.inc w/o .config Makefile.inc allows extending site-specific configurations. This change is to allow make utility to list supported options, irrespective of a .config file availability. Change-Id: I7c968c773c368ea74689b9741c4c978c35110187 Signed-off-by: Balaji Manigandan B Reviewed-on: https://review.coreboot.org/c/coreboot/+/34024 Tested-by: build bot (Jenkins) Reviewed-by: Martin Roth Reviewed-by: Paul Menzel --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 45b0bc5f8c..dfc70e06c6 100644 --- a/Makefile +++ b/Makefile @@ -129,11 +129,12 @@ NOMKDIR:=1 endif endif +-include $(TOPLEVEL)/site-local/Makefile.inc + ifeq ($(NOCOMPILE),1) include $(TOPLEVEL)/Makefile.inc include $(TOPLEVEL)/payloads/Makefile.inc include $(TOPLEVEL)/util/testing/Makefile.inc --include $(TOPLEVEL)/site-local/Makefile.inc real-all: @echo "Error: Expected config file ($(DOTCONFIG)) not present." >&2 @echo "Please specify a config file or run 'make menuconfig' to" >&2