Use RAII for sthread_enable/disable.

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index a4b2546..938585b 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1984,7 +1984,6 @@ include include/simgrid/mutex.h
 include include/simgrid/plugins/ProducerConsumer.hpp
 include include/simgrid/plugins/battery.hpp
 include include/simgrid/plugins/chiller.hpp
-include include/simgrid/plugins/dvfs.h
 include include/simgrid/plugins/energy.h
 include include/simgrid/plugins/file_system.h
 include include/simgrid/plugins/jbod.hpp
@@ -2064,7 +2063,6 @@ include include/xbt/virtu.h
 include include/xbt/xbt_os_time.h
 include setup.py
 include src/3rd-party/catch.hpp
-include src/3rd-party/xxhash.hpp
 include src/bindings/python/simgrid_python.cpp
 include src/dag/dax.dtd
 include src/dag/dax_dtd.c
@@ -2328,7 +2326,6 @@ include src/plugins/battery.cpp
 include src/plugins/chaos_monkey.cpp
 include src/plugins/chiller.cpp
 include src/plugins/file_system/s4u_FileSystem.cpp
-include src/plugins/host_dvfs.cpp
 include src/plugins/host_energy.cpp
 include src/plugins/host_load.cpp
 include src/plugins/jbod.cpp