From ec3e4bcab61504f13d685ee3f975a2e50a79856b Mon Sep 17 00:00:00 2001
From: Antoine Regimbeau <antoine.regimbeau@c-s.fr>
Date: Fri, 15 Mar 2019 16:22:29 +0100
Subject: [PATCH] CI: disallow testing

---
 CI/main_ci.cmake | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CI/main_ci.cmake b/CI/main_ci.cmake
index b840285a28..9137e533da 100644
--- a/CI/main_ci.cmake
+++ b/CI/main_ci.cmake
@@ -84,6 +84,8 @@ if ( NOT _build_rv EQUAL 0 )
   message( SEND_ERROR "An error occurs during ctest_build.")
 endif()
 
+# TODO
+if ( is_ready for_test )
 ctest_test(PARALLEL_LEVEL 8
            RETURN_VALUE _test_rv
            CAPTURE_CMAKE_ERROR _test_error
@@ -94,4 +96,5 @@ if ( NOT _test_rv EQUAL 0 )
   message( SEND_ERROR "An error occurs during ctest_test.")
 endif()
 
+endif()
 ctest_submit()
-- 
GitLab