From: Marion Guthmuller Date: Wed, 20 Jun 2012 17:02:06 +0000 (+0200) Subject: model-checker : remove unused example X-Git-Tag: v3_8~543 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9bb11205f4ec0c60954f48b087bf635972031293 model-checker : remove unused example --- diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt index ca674e8dfe..34cf083de3 100644 --- a/examples/msg/mc/CMakeLists.txt +++ b/examples/msg/mc/CMakeLists.txt @@ -16,7 +16,6 @@ add_executable(bugged2_liveness bugged2_liveness.c) add_executable(centralized_liveness centralized_liveness.c) add_executable(centralized_liveness_deadlock centralized_liveness_deadlock.c) add_executable(test_snapshot test_snapshot.c) -add_executable(example example.c) target_link_libraries(centralized simgrid m ) target_link_libraries(bugged1 simgrid m ) @@ -31,7 +30,6 @@ target_link_libraries(bugged2_liveness simgrid m ) target_link_libraries(centralized_liveness simgrid m ) target_link_libraries(centralized_liveness_deadlock simgrid m ) target_link_libraries(test_snapshot simgrid m ) -target_link_libraries(example simgrid m ) endif(HAVE_MC) set(tesh_files