[coreboot-gerrit] Patch merged into coreboot/master: RISCV: change make-spike-elf to use the coreboot toolchain.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 3401f5a20c6918adbe97b7e9df7d5bf25583163f
Author: Ronald G. Minnich <rminnich at gmail.com>
Date:   Wed Oct 12 00:18:01 2016 +0200

    RISCV: change make-spike-elf to use the coreboot toolchain.
    
    Change-Id: I81ced8c6e02b00a3835e3b42c9cf2669b1b2bd3e
    Signed-off-by: Ronald G. Minnich <rminnich at gmail.com>
    [jn: Added XGCC_BIN variable to avoid requiring the tools in $PATH]
    Signed-off-by: Jonathan Neuschäfer <j.neuschaefer at gmx.net>
    Reviewed-on: https://review.coreboot.org/16955
    Tested-by: build bot (Jenkins)


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

-gerrit