From 9bb11205f4ec0c60954f48b087bf635972031293 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 20 Jun 2012 19:02:06 +0200 Subject: [PATCH] model-checker : remove unused example --- examples/msg/mc/CMakeLists.txt | 2 -- 1 file changed, 2 deletions(-) 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 -- 2.20.1