X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8e2e7ec8fe8054bcfb087492e8a9379508fa6e82..d41f59b57dbce6d6baed56b99dd89f2d160702ad:/buildtools/Cmake/CTestConfig.cmake

diff --git a/buildtools/Cmake/CTestConfig.cmake b/buildtools/Cmake/CTestConfig.cmake
index 5756545ae3..4477a9f1d7 100644
--- a/buildtools/Cmake/CTestConfig.cmake
+++ b/buildtools/Cmake/CTestConfig.cmake
@@ -17,18 +17,14 @@ if(enable_compile_warnings AND enable_compile_optimizations)
 	SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
 endif(enable_compile_warnings AND enable_compile_optimizations)
 
-if(supernovae)
+if(enable_supernovae)
 	SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
-endif(supernovae)
+endif(enable_supernovae)
 
 if(HAVE_GTNETS)
 	SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
 endif(HAVE_GTNETS)
 
-if(HAVE_TRACING)
-	SET(BUILDNAME "TRACING" CACHE TYPE INTERNAL FORCE)
-endif(HAVE_TRACING)
-
 if(HAVE_MC)
 	SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
 endif(HAVE_MC)