From 99f959b17fa0568cb6fedb447495fca24faa4622 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 18 Feb 2023 19:37:22 +0100
Subject: [PATCH 1/1] Remove an obsolete cmake warning

---
 tools/cmake/Distrib.cmake | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 9ce7f2b516..61aa173470 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -205,14 +205,6 @@ add_custom_command(
   COMMAND ${CMAKE_COMMAND} -E remove_directory ${PROJECT_NAME}-${release_version}/)
 add_dependencies(dist dist-dir)
 
-if(NOT enable_maintainer_mode)
-  add_custom_target(echo-dist
-    COMMAND ${CMAKE_COMMAND} -E echo "WARNING: ----------------------------------------------------"
-    COMMAND ${CMAKE_COMMAND} -E echo "WARNING: Distrib is generated without option maintainer mode "
-    COMMAND ${CMAKE_COMMAND} -E echo "WARNING: ----------------------------------------------------")
-  add_dependencies(dist echo-dist)
-endif()
-
 ###########################################
 ### Fill in the "make distcheck" target ###
 ###########################################
-- 
2.20.1