From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 25 Feb 2015 17:42:30 +0000 (+0100)
Subject: model-checker : removed tesh forgotten in DefinePackages.cmake
X-Git-Tag: v3_12~745
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/41d21b519898c399159b9e2030e43db5e53fe6ca

model-checker : removed tesh forgotten in DefinePackages.cmake
---

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index cbc9251f4d..e9ad635ddf 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -129,8 +129,7 @@ set(EXTRA_DIST
   tools/tesh/run_context.h
   tools/tesh/tesh.h
   tools/tesh/generate_tesh
-  examples/smpi/mc/non_deterministic.tesh
-  examples/smpi/mc/send_deterministic.tesh
+  examples/smpi/mc/only_send_deterministic.tesh
   )
 
 set(SMPI_SRC