fix make dist

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index dc03730..55e4911 100644 (file)
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -3,7 +3,6 @@ set(bin_files
   ${CMAKE_CURRENT_SOURCE_DIR}/fix-paje-trace.sh
   ${CMAKE_CURRENT_SOURCE_DIR}/generate-dwarf-functions
   ${CMAKE_CURRENT_SOURCE_DIR}/normalize-pointers.py
   ${CMAKE_CURRENT_SOURCE_DIR}/fix-paje-trace.sh
   ${CMAKE_CURRENT_SOURCE_DIR}/generate-dwarf-functions
   ${CMAKE_CURRENT_SOURCE_DIR}/normalize-pointers.py

-  ${CMAKE_CURRENT_SOURCE_DIR}/platf_route_rulebased2full.py

   ${CMAKE_CURRENT_SOURCE_DIR}/sg_unit_extractor.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/sg_xml_unit_converter.py
   ${CMAKE_CURRENT_SOURCE_DIR}/simgrid_update_xml.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/sg_unit_extractor.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/sg_xml_unit_converter.py
   ${CMAKE_CURRENT_SOURCE_DIR}/simgrid_update_xml.pl