Install some kernel header files for the users' plugins and more

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

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 9a20723..01e0885 100644 (file)
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -64,7 +64,6 @@ endif()
 foreach(file ${headers_to_install}  ${generated_headers_to_install})
   get_filename_component(location ${file} PATH)
   string(REPLACE "${CMAKE_CURRENT_BINARY_DIR}/" "" location "${location}")
-  string(REPLACE "src/" "include/simgrid/" location "${location}") # For kernel headers
   install(FILES ${file} DESTINATION ${location})
 endforeach()