From dfd8939377c2802d9ff5be3d36abcafd59c90f16 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 29 Jan 2018 17:32:54 +0000
Subject: use check target in makefile when checking riscv spec.

---
 test/riscv/run_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3