build mips and mips_c when running tests.

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"