From c92cf62d8633f1316fffd9f6a77d02bebe811133 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <augustin.degomme@imag.fr>
Date: Mon, 22 Sep 2014 15:17:05 +0200
Subject: [PATCH 1/1] NDEBUG was not used on C++ files when enable_debug was
 set to 0

---
 buildtools/Cmake/Flags.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/buildtools/Cmake/Flags.cmake b/buildtools/Cmake/Flags.cmake
index 19e010636c..b5ea03d277 100644
--- a/buildtools/Cmake/Flags.cmake
+++ b/buildtools/Cmake/Flags.cmake
@@ -80,6 +80,7 @@ endif()
 
 if(NOT enable_debug)
   set(CMAKE_C_FLAGS "-DNDEBUG ${CMAKE_C_FLAGS}")
+  set(CMAKE_CXX_FLAGS "-DNDEBUG ${CMAKE_CXX_FLAGS}")
 endif()
 
 if(enable_msg_deprecated)
-- 
2.20.1