diff options
| author | Martin Roth <martinroth@google.com> | 2016-12-07 10:45:55 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-01-04 22:18:55 +0100 |
| commit | ab8f7d315ec845d0fe86b440b4773d22f97946cd (patch) | |
| tree | 01e980172bfae114533124a7ef4bacb7f9bb4751 /util | |
| parent | 2c1c02ea6aaff39de78d0cc2406886200360a71b (diff) | |
util/crossgcc: update jenkins-build-toolchain
This allows the make jenkins-build-toolchain to use the
BUILDGCC_OPTIONS variable. Previously, the options were hardcoded.
Change-Id: I5f4c1d3fc8c714ec3640356ae3c86ae157f486d2
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17766
Tested-by: build bot (Jenkins)
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'util')
| -rw-r--r-- | util/crossgcc/Makefile.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/crossgcc/Makefile.inc b/util/crossgcc/Makefile.inc index cf900bac9f..f7da7de5da 100644 --- a/util/crossgcc/Makefile.inc +++ b/util/crossgcc/Makefile.inc @@ -72,8 +72,9 @@ else endif # ifeq ($(COMPILER_OUT_OF_DATE),1) # This target controls what the jenkins builder tests +jenkins-build-toolchain: BUILDGCC_OPTIONS ?= -y --nocolor jenkins-build-toolchain: - $(MAKE) crosstools clang KEEP_SOURCES=1 BUILDGCC_OPTIONS='-y --nocolor' + $(MAKE) crosstools clang KEEP_SOURCES=1 BUILDGCC_OPTIONS='$(BUILDGCC_OPTIONS)' rm -f .xcompile PATH=$(if $(DEST),$(DEST)/bin,$(top)/util/crossgcc/xgcc/bin):$$PATH; $(MAKE) what-jenkins-does -cat .xcompile |