From f23f7ae124c8394c16a3db4e4d75c7f795ad7dab Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 19 Sep 2019 17:59:33 +0200
Subject: Desactivating CompCert tests taking too long

---
 test/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'test/Makefile')

diff --git a/test/Makefile b/test/Makefile
index 504e4c53..037fdc8f 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -1,6 +1,8 @@
 include ../Makefile.config
 
-DIRS=c compression raytracer spass regression
+#DIRS=c compression raytracer spass regression
+# Kalray note - removing compression, raytracer and spass that cannot be executed by the simulator in reasonable time
+DIRS=c regression
 ifeq ($(CLIGHTGEN),true)
 DIRS+=clightgen
 endif
-- 
cgit