[coreboot-gerrit] Patch merged into coreboot/master: RISCV: have the make-spike-elf.sh script use the riscv tools

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit aa9df0f0dec62794dbea1d97852fc0d32a81ca14
Author: Ronald G. Minnich <rminnich at gmail.com>
Date:   Fri Oct 7 06:57:03 2016 -0700

    RISCV: have the make-spike-elf.sh script use the riscv tools
    
    We do this so that the riscv objdump can be used on the coreboot.elf file.
    
    Change-Id: Ib8bf85a3299dd75b779e7fa3757f5b62c9c7170b
    Signed-off-by: Ronald G. Minnich <rminnich at gmail.com>
    Reviewed-on: https://review.coreboot.org/16918
    Tested-by: build bot (Jenkins)
    Reviewed-by: Jonathan Neuschäfer <j.neuschaefer at gmx.net>


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

-gerrit