From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 25 Jul 2015 00:50:01 +0000 (+0200)
Subject: fix the make distcheck. Again.
X-Git-Tag: v3_12~425
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ca612d1c3beb17b69c951dafe7fb551b29fedb23?hp=ee841c4d0c10c563c3c34a24b615e9052d98fbb2

fix the make distcheck. Again.
---

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 4880298460..1053381469 100644
--- 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
-  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
diff --git a/tools/tesh/CMakeLists.txt b/tools/tesh/CMakeLists.txt
index 4173febe56..a2096fc8e8 100644
--- a/tools/tesh/CMakeLists.txt
+++ b/tools/tesh/CMakeLists.txt
@@ -35,15 +35,6 @@ set(xml_files
   ${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