From e286302a0e9c687e20929702f1cf031d401389bb Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 10 May 2023 23:35:25 +0200 Subject: [PATCH] Fix make distcheck --- MANIFEST.in | 1 + examples/cpp/CMakeLists.txt | 1 + 2 files changed, 2 insertions(+) diff --git a/MANIFEST.in b/MANIFEST.in index b56d852d09..3a5d39ce5e 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -391,6 +391,7 @@ include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition- include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.cpp include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.tesh +include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex-stateful.tesh include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh include examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp include examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh diff --git a/examples/cpp/CMakeLists.txt b/examples/cpp/CMakeLists.txt index 9c06ea0cc1..76dc61ee4f 100644 --- a/examples/cpp/CMakeLists.txt +++ b/examples/cpp/CMakeLists.txt @@ -34,6 +34,7 @@ else() endforeach() endif() +set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/synchro-mutex/s4u-mc-synchro-mutex-stateful.tesh) if(SIMGRID_HAVE_STATEFUL_MC) if(HAVE_C_STACK_CLEANER) add_executable (s4u-mc-bugged1-liveness-cleaner-on EXCLUDE_FROM_ALL s4u-mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp) -- 2.20.1