# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1516631565 -3600
# Node ID 808fd5218f5669447f6ef92932d720550edf31dc
# Parent  51ea632f0c557a6d952781c94a0c25f45a3f9e10
remove meaningless message about profiling

diff -r 51ea632f0c55 -r 808fd5218f56 Resources/CMake/Compiler.cmake
--- a/Resources/CMake/Compiler.cmake	Wed Jan 17 21:33:56 2018 +0100
+++ b/Resources/CMake/Compiler.cmake	Mon Jan 22 15:32:45 2018 +0100
@@ -180,10 +180,6 @@
 
 
 if (DEFINED ENABLE_PROFILING AND ENABLE_PROFILING)
-  if (NOT CMAKE_BUILD_TYPE STREQUAL "Debug")
-    message(WARNING "Enabling profiling on a non-debug build will not produce full information")
-  endif()
-
   if (CMAKE_COMPILER_IS_GNUCXX)
     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -pg")
     set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -pg")