Add missing diagnostics_on_terminate option to default config

pika-org · Sep 19, 2022 · bdd95e9 · bdd95e9
1 parent b329734
commit bdd95e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libs/pika/runtime_configuration/src/runtime_configuration.cpp b/libs/pika/runtime_configuration/src/runtime_configuration.cpp
@@ -150,6 +150,7 @@ namespace pika { namespace util {
             "default_scheduler_mode = ${PIKA_DEFAULT_SCHEDULER_MODE}",
 
             "install_signal_handlers = ${PIKA_INSTALL_SIGNAL_HANDLERS:0}",
+            "diagnostics_on_terminate = ${PIKA_DIAGNOSTICS_ON_TERMINATE:1}",
             "attach_debugger = ${PIKA_ATTACH_DEBUGGER:0}",
             "exception_verbosity = ${PIKA_EXCEPTION_VERBOSITY:1}",
             "trace_depth = ${PIKA_TRACE_DEPTH:" PIKA_PP_STRINGIZE(