[coreboot-gerrit] Patch set updated for coreboot: util/crossgcc: update jenkins-build-toolchain

[Nico Huber (nico.h@gmx.de)]

Nico Huber (nico.h at gmx.de) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/17766

-gerrit

commit bb78b829a80f7540f033de6eda0b3400a0bfe612
Author: Martin Roth <martinroth at google.com>
Date:   Wed Dec 7 10:45:55 2016 -0700

    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 at google.com>
---
 util/crossgcc/Makefile.inc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/util/crossgcc/Makefile.inc b/util/crossgcc/Makefile.inc
index cf900ba..f7da7de 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