You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
175 B
7 lines
175 B
#!/bin/sh
|
|
|
|
xlen="$(readelf -h $1 | grep 'Class' | cut -d: -f 2 | xargs echo | sed 's/^ELF//')"
|
|
arch="${ARCH_STR#*=}"
|
|
spike \
|
|
--isa=${arch} \
|
|
${PK_PATH}/pk${xlen} "$@"
|
|
|