diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/arm/run_tests.sh | 2 | ||||
| -rwxr-xr-x | test/riscv/run_tests.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/arm/run_tests.sh b/test/arm/run_tests.sh index 2623427c..d4e01079 100755 --- a/test/arm/run_tests.sh +++ b/test/arm/run_tests.sh @@ -51,7 +51,7 @@ cd $SAILDIR/aarch64 printf "Compiling specification...\n" -if $SAILDIR/sail -o aarch64_test -ocaml prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail 1> /dev/null; +if $SAILDIR/sail -o aarch64_test -ocaml prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail 1> /dev/null 2> /dev/null; then green "compiled no_vector specification" "ok"; mv aarch64_test $DIR/; 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 |