Change SignalManager behavior in release build

Does not pause on error anymore when build type is release. In release mode,
debugger did not git more info than the back trace itself.

src/utils/SignalManager.cpp

@@ -33,7 +33,10 @@ std::string SignalManager::signalName(const int& signal)
 
 void SignalManager::pauseForDebug(const int& signal)
 {
-
+  if (std::string(PASTIS_BUILD_TYPE) != "Release") {
+    if ((ConsoleManager::isTerminal(pout()) and
+         (s_pause_on_error == "auto")) or
+        (s_pause_on_error == "yes")) {
       pout() << "\n======================================\n";
       pout() << rang::style::reset
              << rang::fg::reset
@@ -50,6 +53,8 @@ void SignalManager::pauseForDebug(const int& signal)
       pout() << std::flush;
 
       pause();
+    }
+  }
   std::exit(signal);
 }
 
@@ -89,13 +94,7 @@ void SignalManager::handler(int signal)
   BacktraceManager bm;
   perr() << bm << '\n';
 
-  if ((ConsoleManager::isTerminal(pout()) and
-       (s_pause_on_error == "auto")) or
-      (s_pause_on_error == "yes")) {
   SignalManager::pauseForDebug(signal);
-  } else {
-    std::exit(signal);
-  }
  }
 
 void SignalManager::init(const bool& enable)