Dont use handle_waitpid after we killed the App, as this function may report this...

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 3bd5a10520b1c0413e31542f4e30e02458f88e54..1eea8b79243218f31d6e676dda2d35a50ea4aa20 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2168,6 +2168,7 @@ include src/mc/explo/LivenessChecker.hpp
 include src/mc/explo/UdporChecker.cpp
 include src/mc/explo/UdporChecker.hpp
 include src/mc/explo/simgrid_mc.cpp
 include src/mc/explo/UdporChecker.cpp
 include src/mc/explo/UdporChecker.hpp
 include src/mc/explo/simgrid_mc.cpp

+include src/mc/explo/udpor/Comb.hpp

 include src/mc/explo/udpor/Configuration.cpp
 include src/mc/explo/udpor/Configuration.hpp
 include src/mc/explo/udpor/Configuration_test.cpp
 include src/mc/explo/udpor/Configuration.cpp
 include src/mc/explo/udpor/Configuration.hpp
 include src/mc/explo/udpor/Configuration_test.cpp