diff options
Diffstat (limited to 'scripts/wrapper/spike/riscv64-unknown-linux-gnu-run')
| -rwxr-xr-x | scripts/wrapper/spike/riscv64-unknown-linux-gnu-run | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run b/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run index 14a5b00..6f5ba83 100755 --- a/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run +++ b/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run @@ -1,7 +1,7 @@ #!/bin/sh xlen="$(readelf -h $1 | grep 'Class' | cut -d: -f 2 | xargs echo | sed 's/^ELF//')" - +arch="${ARCH_STR#*=}" spike \ - --isa=RV${xlen}GC \ + --isa=${arch} \ ${PK_PATH}/pk${xlen} "$@" |