diff options
Diffstat (limited to 'test/riscv/run_tests.sh')
| -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 5b5f67cb..9f1aa007 100755 --- a/test/riscv/run_tests.sh +++ b/test/riscv/run_tests.sh @@ -52,7 +52,7 @@ cd $SAILDIR/riscv printf "Checking specification...\n" -if $SAILDIR/sail prelude.sail riscv_types.sail riscv.sail 1> /dev/null; +if $SAILDIR/sail prelude.sail riscv_types.sail riscv.sail 1> /dev/null 2> /dev/null; then green "checked RISCV specification" "ok" else |