diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-09-26 15:43:47 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-09-26 17:42:34 -0400 |
| commit | 47888fd8b40fa1db24f107ffdf12ac1673bbe650 (patch) | |
| tree | 1ed62e5acd7864afd29311d4771aed9658504c4e /rts/RtsFlags.c | |
| parent | 30a1eeea37e224e4ade9b8e7cdd30076cb716960 (diff) | |
| download | haskell-47888fd8b40fa1db24f107ffdf12ac1673bbe650.tar.gz | |
Revert "Switch VEH to VCH and allow disabling of SEH completely."
Reverting to fix authorship of commit.
This reverts commit 1825cbdbdf08ed4bd6fd6794852596078953298a.
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 19 |
1 files changed, 2 insertions, 17 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 5a5abb0d19..4194aa0eec 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -225,9 +225,8 @@ void initRtsFlagsDefaults(void) RtsFlags.ConcFlags.ctxtSwitchTime = USToTime(20000); // 20ms RtsFlags.MiscFlags.install_signal_handlers = true; - RtsFlags.MiscFlags.install_seh_handlers = true; - RtsFlags.MiscFlags.machineReadable = false; - RtsFlags.MiscFlags.linkerMemBase = 0; + RtsFlags.MiscFlags.machineReadable = false; + RtsFlags.MiscFlags.linkerMemBase = 0; #if defined(THREADED_RTS) RtsFlags.ParFlags.nCapabilities = 1; @@ -427,10 +426,6 @@ usage_text[] = { #endif " --install-signal-handlers=<yes|no>", " Install signal handlers (default: yes)", -#if defined(mingw32_HOST_OS) -" --install-seh-handlers=<yes|no>", -" Install exception handlers (default: yes)", -#endif #if defined(THREADED_RTS) " -e<n> Maximum number of outstanding local sparks (default: 4096)", #endif @@ -845,16 +840,6 @@ error = true; OPTION_UNSAFE; RtsFlags.MiscFlags.install_signal_handlers = false; } - else if (strequal("install-seh-handlers=yes", - &rts_argv[arg][2])) { - OPTION_UNSAFE; - RtsFlags.MiscFlags.install_seh_handlers = true; - } - else if (strequal("install-seh-handlers=no", - &rts_argv[arg][2])) { - OPTION_UNSAFE; - RtsFlags.MiscFlags.install_seh_handlers = false; - } else if (strequal("machine-readable", &rts_argv[arg][2])) { OPTION_UNSAFE; |