diff options
Diffstat (limited to 'scripts/wrapper')
-rwxr-xr-x | scripts/wrapper/spike/riscv64-unknown-linux-gnu-run | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run b/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run index 819ac7a..fb569f1 100755 --- a/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run +++ b/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run @@ -4,5 +4,9 @@ xlen="$(march-to-cpu-opt --elf-file-path $1 --print-xlen)" isa="$(march-to-cpu-opt --elf-file-path $1 --print-spike-isa)" varch="$(march-to-cpu-opt --elf-file-path $1 --print-spike-varch)" -[[ -z ${varch} ]] && spike --isa=${isa} ${PK_PATH}/pk${xlen} "$@" -[[ ! -z ${varch} ]] && spike --isa=${isa} --varch=${varch} ${PK_PATH}/pk${xlen} "$@" +isa_option="--isa=${isa}" +varch_option="" + +[[ ! -z ${varch} ]] && varch_option="--varch=${varch}" + +spike ${isa_option} ${varch_option} ${PK_PATH}/pk${xlen} "$@" |