From 5184f151330d3b1a28c0fdfc5ccbcbe203e0b5be Mon Sep 17 00:00:00 2001 From: Robert Norton Date: Fri, 22 Jun 2018 13:50:37 +0100 Subject: build mips and mips_c when running tests. --- test/cheri/run_tests.sh | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) 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 "\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" -- cgit v1.2.3