improve coverage: kill dead code

[simgrid.git] / CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 801a1c0..4f1b981 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -321,9 +321,7 @@ CHECK_FUNCTION_EXISTS(gettimeofday HAVE_GETTIMEOFDAY)
 CHECK_FUNCTION_EXISTS(nanosleep HAVE_NANOSLEEP)
 CHECK_FUNCTION_EXISTS(getdtablesize HAVE_GETDTABLESIZE)
 CHECK_FUNCTION_EXISTS(sysconf HAVE_SYSCONF)
-CHECK_FUNCTION_EXISTS(readv HAVE_READV)
 CHECK_FUNCTION_EXISTS(popen HAVE_POPEN)
-CHECK_FUNCTION_EXISTS(signal HAVE_SIGNAL)
 
 CHECK_SYMBOL_EXISTS(snprintf stdio.h HAVE_SNPRINTF)
 CHECK_SYMBOL_EXISTS(vsnprintf stdio.h HAVE_VSNPRINTF)
@@ -1045,7 +1043,6 @@ include(${CMAKE_HOME_DIRECTORY}/tools/cmake/CTestConfig.cmake)
 foreach(cmakefile ${CMAKEFILES_TXT})
   string(REPLACE "/CMakeLists.txt" "" repository ${cmakefile})
   add_subdirectory("${CMAKE_HOME_DIRECTORY}/${repository}")
-  message(STATUS "${CMAKE_HOME_DIRECTORY}/${repository}")
 endforeach()
 
 ### Setup the distrib