diff --git a/CMakeLists.txt b/CMakeLists.txt index 2628d2efb..cdc617ff9 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -430,17 +430,6 @@ pika_option( ADVANCED ) -pika_option( - PIKA_WITH_DISABLED_SIGNAL_EXCEPTION_HANDLERS - BOOL - "Disables the mechanism that produces debug output for caught signals and unhandled exceptions (default: OFF)" - OFF - ADVANCED -) -if(PIKA_WITH_DISABLED_SIGNAL_EXCEPTION_HANDLERS) - pika_add_config_define(PIKA_HAVE_DISABLED_SIGNAL_EXCEPTION_HANDLERS) -endif() - # Thread Manager related build options set(PIKA_MAX_CPU_COUNT_DEFAULT "") diff --git a/libs/pika/init_runtime/src/init_runtime.cpp b/libs/pika/init_runtime/src/init_runtime.cpp index 2aa618633..2209bcce3 100644 --- a/libs/pika/init_runtime/src/init_runtime.cpp +++ b/libs/pika/init_runtime/src/init_runtime.cpp @@ -410,14 +410,12 @@ namespace pika { &pika::detail::registered_locks_error_handler); pika::util::set_register_locks_predicate(&pika::detail::register_locks_predicate); #endif -#if !defined(PIKA_HAVE_DISABLED_SIGNAL_EXCEPTION_HANDLERS) if (pika::detail::get_entry_as( cmdline.rtcfg_, "pika.install_signal_handlers", false)) { set_signal_handlers(); } -#endif pika::threads::detail::set_get_default_pool(&pika::detail::get_default_pool); pika::threads::detail::set_get_locality_id(&get_locality_id); pika::parallel::execution::detail::set_get_pu_mask(&pika::detail::get_pu_mask);