diff options
| author | Ronald G. Minnich <rminnich@gmail.com> | 2016-10-12 00:18:01 +0200 |
|---|---|---|
| committer | Ronald G. Minnich <rminnich@gmail.com> | 2016-10-15 00:34:27 +0200 |
| commit | 3401f5a20c6918adbe97b7e9df7d5bf25583163f (patch) | |
| tree | 4f3648f1d81683ab38550d86398af074756a87da /util/release | |
| parent | 2f72a618f11ce9a0f5cc671c078e236ed78c8156 (diff) | |
RISCV: change make-spike-elf to use the coreboot toolchain.
Change-Id: I81ced8c6e02b00a3835e3b42c9cf2669b1b2bd3e
Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
[jn: Added XGCC_BIN variable to avoid requiring the tools in $PATH]
Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-on: https://review.coreboot.org/16955
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util/release')
0 files changed, 0 insertions, 0 deletions