diff options
Diffstat (limited to 'Makefile.inc')
-rw-r--r-- | Makefile.inc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc index fcd680df2b..90a50aa4aa 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -24,6 +24,18 @@ export KERNELVERSION := $(shell if [ -d "$(top)/.git" -a -f "`which git`" ]; \ else echo 4.0$(KERNELREVISION); fi) ####################################################################### +# Test for coreboot toolchain (except when explicitely not requested) +ifneq ($(NOCOMPILE),1) +# only run if we're doing a build (not for tests, kconfig, ...) +ifneq ($(CONFIG_ANY_TOOLCHAIN),y) +_toolchain=$(shell $(CC_i386) -v 2>&1 |grep -q "gcc version .*coreboot toolchain" && echo coreboot) +ifneq ($(_toolchain),coreboot) +$(error Please use the coreboot toolchain (or prove that your toolchain works)) +endif +endif +endif + +####################################################################### # Basic component discovery MAINBOARDDIR=$(call strip_quotes,$(CONFIG_MAINBOARD_DIR)) export MAINBOARDDIR |