diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/riscvtools/make-spike-elf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/riscvtools/make-spike-elf.sh b/util/riscvtools/make-spike-elf.sh index 9632436e50..834e8d2cb6 100755 --- a/util/riscvtools/make-spike-elf.sh +++ b/util/riscvtools/make-spike-elf.sh @@ -18,7 +18,7 @@ if [ $# -ne 2 ]; then fi FLAT_FILE="$1" -OBJECT_FILE=$(mktemp /tmp/coreboot-spike.XXXXXX.o) +OBJECT_FILE=$(mktemp /tmp/coreboot-spike.XXXXXX) ELF_FILE="$2" TOOL_PATH="$(dirname "$0")" XGCC_BIN="$TOOL_PATH/../crossgcc/xgcc/bin" |