From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 14 Mar 2016 08:57:10 +0000 (+0100)
Subject: fix make dist
X-Git-Tag: v3_13~449^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e7261011d7aaea1acc1854a3400a1a23711b9518

fix make dist
---

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index dc0373071b..55e4911f82 100644
--- 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}/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