Use RAII for sthread_enable/disable.

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index a7c5668..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
@@ -2327,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