From ca612d1c3beb17b69c951dafe7fb551b29fedb23 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 25 Jul 2015 02:50:01 +0200 Subject: [PATCH 1/1] fix the make distcheck. Again. --- buildtools/Cmake/DefinePackages.cmake | 2 -- tools/tesh/CMakeLists.txt | 9 --------- 2 files changed, 11 deletions(-) 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 -- 2.20.1