model-checker : add comments for the example bugged2_liveness

[simgrid.git] / examples / msg / migration / CMakeLists.txt

diff --git a/examples/msg/migration/CMakeLists.txt b/examples/msg/migration/CMakeLists.txt
index 5335fa7..3c825c6 100644 (file)
--- a/examples/msg/migration/CMakeLists.txt
+++ b/examples/msg/migration/CMakeLists.txt
@@ -1,8 +1,8 @@
 cmake_minimum_required(VERSION 2.6)
 
-set(EXECUTABLE_OUTPUT_PATH "${PROJECT_DIRECTORY}/examples/msg/migration/")
+set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
 
 add_executable(migration migration.c)
 
 ### Add definitions for compile
-target_link_libraries(migration simgrid m -fprofile-arcs)
+target_link_libraries(migration simgrid m )