spns #42205 [SAT][Windows] support different values for CMAKE_BUILD_TYPE - part III

diff --git a/src/compilation.py b/src/compilation.py
index 71db01f7da545f41270263b68ea5ed19266da408..091b25a5aac22340f19faee6a47951cfea936ea4 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -495,7 +495,8 @@ CC=\\"hack_libtool\\"%g" libtool'''
             self.build_environ.set("SAT_HPC", "1")
         if self.debug_mode:
             self.build_environ.set("SAT_DEBUG", "1")
-        self.build_environ.set("SAT_CMAKE_BUILD_TYPE", self.cmake_build_type)
+        if "cmake_build_type" in self.config.APPLICATION:
+            self.build_environ.set("SAT_CMAKE_BUILD_TYPE", self.config.APPLICATION.cmake_build_type)
         if self.verbose_mode:
             self.build_environ.set("SAT_VERBOSE", "1")