From 31aa2e604021df7cc297b4419b25cc5c087fd50b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 22 Jun 2018 21:35:47 +0200
Subject: [PATCH 1/1] Revert "Kill unused target."

My mistake, it's in fact used (keyword ALL).

This reverts commit 1b69fabbaddeda90a9065f31ef30fb8f22ad4105.
---
 tools/cmake/Distrib.cmake | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 40d1570830..7a8b059812 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -33,6 +33,10 @@ install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/MSG_visualization/colorize.pl
   DESTINATION bin/
   RENAME simgrid-colorizer)
 
+add_custom_target(simgrid-colorizer ALL
+  COMMENT "Install ${CMAKE_BINARY_DIR}/bin/colorize"
+  COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_HOME_DIRECTORY}/tools/MSG_visualization/colorize.pl ${CMAKE_BINARY_DIR}/bin/colorize)
+
 install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl
   DESTINATION bin/
   RENAME simgrid_update_xml)
-- 
2.20.1