diff --git a/tool/lib/envutil.rb b/tool/lib/envutil.rb index 0dd86dff5c..c6692d9089 100644 --- a/tool/lib/envutil.rb +++ b/tool/lib/envutil.rb @@ -79,7 +79,7 @@ module EnvUtil DEFAULT_SIGNALS[sig.to_s] or DEFAULT_SIGNALS[Signal.signame(sig)] rescue false end - signals |= [:ABRT, :KILL] + signals |= [:SEGV, :ABRT, :KILL] case pgroup when 0, true pgroup = -pid