Quelle  get-terminate.patch   Sprache: unbekannt

diff --git a/ggml/src/ggml.cpp b/ggml/src/ggml.cpp
index 0d388d4553..8354bb0cc8 100644
--- a/ggml/src/ggml.cpp
+++ b/ggml/src/ggml.cpp
@@ -13,6 +13,7 @@
     abort(); // unreachable unless previous_terminate_handler was nullptr
 }
 
+#if 0
 static bool ggml_uncaught_exception_init = []{
     const char * GGML_NO_BACKTRACE = getenv("GGML_NO_BACKTRACE");
     if (GGML_NO_BACKTRACE) {
@@ -24,3 +25,4 @@
     std::set_terminate(ggml_uncaught_exception);
     return true;
 }();
+#endif