diff options
| -rwxr-xr-x | test/cheri/run_tests.sh | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/test/cheri/run_tests.sh b/test/cheri/run_tests.sh index 29128a6d..4e1550f4 100755 --- a/test/cheri/run_tests.sh +++ b/test/cheri/run_tests.sh @@ -47,7 +47,23 @@ SAILLIBDIR="$DIR/../../lib/" printf "<testsuites>\n" >> $DIR/tests.xml -cd $SAILDIR/riscv +printf "Building MIPS specification...\n" + +if make -C $SAILDIR/mips mips ; +then + green "Building MIPS specification" "ok" +else + red "Building MIPS specification" "fail" +fi + +printf "Building MIPS_C specification...\n" + +if make -C $SAILDIR/mips mips_c ; +then + green "Building MIPS_C specification" "ok" +else + red "Building MIPS_C specification" "fail" +fi printf "Building CHERI 256 specification...\n" |