fix the make distcheck. Again.

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 4880298..1053381 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -124,8 +124,6 @@ set(EXTRA_DIST
   src/xbt/probes.h
   src/xbt/setset_private.h
   src/xbt/win32_ucontext.c
   src/xbt/probes.h
   src/xbt/setset_private.h
   src/xbt/win32_ucontext.c

-  tools/tesh/run_context.h
-  tools/tesh/tesh.h

   tools/tesh/generate_tesh
   examples/smpi/mc/only_send_deterministic.tesh
   examples/smpi/mc/non_deterministic.tesh
   tools/tesh/generate_tesh
   examples/smpi/mc/only_send_deterministic.tesh
   examples/smpi/mc/non_deterministic.tesh

diff --git a/tools/tesh/CMakeLists.txt b/tools/tesh/CMakeLists.txt
index 4173feb..a2096fc 100644 (file)
--- a/tools/tesh/CMakeLists.txt
+++ b/tools/tesh/CMakeLists.txt
@@ -35,15 +35,6 @@ set(xml_files
   ${xml_files}
   PARENT_SCOPE
   )
   ${xml_files}
   PARENT_SCOPE
   )

-set(tools_src
-  ${tools_src}
-  ${CMAKE_CURRENT_SOURCE_DIR}/run_context.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/run_context.h
-  ${CMAKE_CURRENT_SOURCE_DIR}/signal.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/tesh.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/tesh.h
-  PARENT_SCOPE
-  )

 set(bin_files
   ${bin_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/colorize.pl
 set(bin_files
   ${bin_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/colorize.pl