[coreboot-gerrit] Patch merged into coreboot/master: util/crossgcc: update jenkins-build-toolchain

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit ab8f7d315ec845d0fe86b440b4773d22f97946cd
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>
    Reviewed-on: https://review.coreboot.org/17766
    Tested-by: build bot (Jenkins)
    Reviewed-by: Nico Huber <nico.h at gmx.de>


See https://review.coreboot.org/17766 for details.

-gerrit