diff options
| -rwxr-xr-x | test/riscv/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/riscv/run_tests.sh b/test/riscv/run_tests.sh index 32f6f091..d52caeb4 100755 --- a/test/riscv/run_tests.sh +++ b/test/riscv/run_tests.sh @@ -51,7 +51,7 @@ cd $SAILDIR/riscv printf "Checking specification...\n" -if $SAILDIR/sail prelude.sail riscv_types.sail riscv.sail 1> /dev/null 2> /dev/null; +if make -C $SAILDIR/riscv check; then green "checked RISCV specification" "ok" else |