diff options
Diffstat (limited to 'test/riscv')
| -rwxr-xr-x | test/riscv/run_tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/riscv/run_tests.sh b/test/riscv/run_tests.sh index 70ce4998..006ed425 100755 --- a/test/riscv/run_tests.sh +++ b/test/riscv/run_tests.sh @@ -51,7 +51,7 @@ cd $SAILDIR/riscv printf "Building RISCV specification...\n" -if make -C $SAILDIR/riscv riscv ; +if make -C $SAILDIR/riscv platform ; then green "Building RISCV specification" "ok" else @@ -59,7 +59,7 @@ else fi for test in $DIR/tests/*.elf; do - if $SAILDIR/riscv/riscv "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" + if $SAILDIR/riscv/platform "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" then green "$(basename $test)" "ok" else |