From: Augustin Degomme <augustin.degomme@imag.fr>
Date: Mon, 28 Jul 2014 15:17:11 +0000 (+0200)
Subject: fix dist
X-Git-Tag: v3_12~884^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d2e705fedeb9c7141516cd900cc5f0e2dd1b7ade?hp=-c

fix dist
---

d2e705fedeb9c7141516cd900cc5f0e2dd1b7ade
diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt
index 1cba5035b2..483500c018 100644
--- a/examples/msg/mc/CMakeLists.txt
+++ b/examples/msg/mc/CMakeLists.txt
@@ -27,6 +27,8 @@ set(tesh_files
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_sparse.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited_sparse.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh
   PARENT_SCOPE
   )