add another library to the whitelist of ignored debugging symbols

[simgrid.git] / tools / cmake / DefinePackages.cmake

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 4be343f..360eb6c 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -83,7 +83,7 @@ set(EXTRA_DIST
   src/surf/surfxml_parse.c
   src/surf/trace_mgr_private.h
   src/surf/vm_hl13.hpp
-  src/surf/vm_interface.hpp
+  src/surf/virtual_machine.hpp
   src/surf/host_clm03.hpp
   src/surf/host_interface.hpp
   src/surf/host_ptask_L07.hpp
@@ -337,7 +337,7 @@ set(SURF_SRC
   src/surf/surfxml_parseplatf.c
   src/surf/trace_mgr.c
   src/surf/vm_hl13.cpp
-  src/surf/vm_interface.cpp
+  src/surf/virtual_machine.cpp
   src/surf/host_clm03.cpp
   src/surf/host_interface.cpp
   src/surf/host_ptask_L07.cpp