From 2bdc5d09389c8fccd8100c0c07c54b2b8895c76a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 21 Sep 2018 15:09:08 +0100
Subject: Remove cheri and mips specs -- they now have their own repository.

---
 test/run_tests.sh | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'test')

diff --git a/test/run_tests.sh b/test/run_tests.sh
index 336a70f9..5e6fe691 100755
--- a/test/run_tests.sh
+++ b/test/run_tests.sh
@@ -46,9 +46,3 @@ printf "RISCV spec tests\n"
 printf "==========================================\n"
 
 ./riscv/run_tests.sh
-
-printf "\n==========================================\n"
-printf "CHERI spec tests\n"
-printf "==========================================\n"
-
-./cheri/run_tests.sh
-- 
cgit v1.2.3