Fix a memory leak in SD_task_schedule.

[simgrid.git] / buildtools / Cmake / CTestConfig.cmake

diff --git a/buildtools/Cmake/CTestConfig.cmake b/buildtools/Cmake/CTestConfig.cmake
index 437112699f1e8395f38e70a29cbfd4092cde1bc1..4477a9f1d76c8fe2a35a89ef5276554b6e6aad65 100644 (file)
--- a/buildtools/Cmake/CTestConfig.cmake
+++ b/buildtools/Cmake/CTestConfig.cmake
@@ -25,10 +25,6 @@ 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)