From 638c4b8c62db3166605961983b6cda4b0ce78dca Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 30 May 2019 16:47:33 +0200 Subject: [PATCH] fix make dist --- examples/deprecated/msg/mc/CMakeLists.txt | 2 -- 1 file changed, 2 deletions(-) diff --git a/examples/deprecated/msg/mc/CMakeLists.txt b/examples/deprecated/msg/mc/CMakeLists.txt index 2c9c0fb5f7..0d4d3edcb1 100644 --- a/examples/deprecated/msg/mc/CMakeLists.txt +++ b/examples/deprecated/msg/mc/CMakeLists.txt @@ -41,8 +41,6 @@ set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh ${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_mutex.tesh PARENT_SCOPE) set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness_visited.xml ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml PARENT_SCOPE) -- 2.20.1