From e7261011d7aaea1acc1854a3400a1a23711b9518 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 14 Mar 2016 09:57:10 +0100
Subject: [PATCH 1/1] fix make dist

---
 tools/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.20.1