use check target in makefile when checking riscv spec.

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