20 lines
384 B
Diff
20 lines
384 B
Diff
--- termination.cc.old 2017-06-24 15:00:21.287094332 +0200
|
|
+++ termination.cc 2017-06-24 15:01:12.717096292 +0200
|
|
@@ -11,7 +11,7 @@
|
|
|
|
#include <string>
|
|
|
|
-#ifndef __WIN32
|
|
+#ifdef __GLIBC__
|
|
#include <execinfo.h>
|
|
#endif
|
|
|
|
@@ -85,7 +85,7 @@
|
|
message += "terminate() called without active exception\n";
|
|
}
|
|
|
|
-#ifndef __WIN32
|
|
+#ifdef __GLIBC__
|
|
|
|
message += "\nBacktrace:\n";
|
|
|