diff base/Debug.cpp @ 1884:bdab3a921d5d

Merge

--- a/base/Debug.cpp	Tue Jul 21 13:59:14 2020 +0100
+++ b/base/Debug.cpp	Tue Jul 21 13:59:29 2020 +0100
@@ -32,7 +32,7 @@
 SVDebug &getSVDebug() {
     mutex.lock();
     if (!svdebug) {
-        svdebug = std::make_unique<SVDebug>();
+        svdebug = std::unique_ptr<SVDebug>(new SVDebug());
     }
     mutex.unlock();
     return *svdebug;
@@ -42,9 +42,9 @@
     mutex.lock();
     if (!svcerr) {
         if (!svdebug) {
-            svdebug = std::make_unique<SVDebug>();
+            svdebug = std::unique_ptr<SVDebug>(new SVDebug());
         }
-        svcerr = std::make_unique<SVCerr>(*svdebug);
+        svcerr = std::unique_ptr<SVCerr>(new SVCerr(*svdebug));
     }
     mutex.unlock();
     return *svcerr;