From 7b9527ce74de11afc8e890db83f2a13a6ed5dc91 Mon Sep 17 00:00:00 2001
From: Koichi Sasada <ko1@atdot.net>
Date: Mon, 1 Jun 2020 17:03:27 +0900
Subject: [PATCH] add more 2 sec.

After sending SEGV signal, but no response. Try to add 2 more
seconds. If we can not have a detailed log, we need to use
gdb/lldb to show the backtrace.
---
 tool/lib/envutil.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/lib/envutil.rb b/tool/lib/envutil.rb
index c6692d9089..9d1521bf9b 100644
--- a/tool/lib/envutil.rb
+++ b/tool/lib/envutil.rb
@@ -72,7 +72,7 @@ module EnvUtil
   end
   module_function :timeout
 
-  def terminate(pid, signal = :TERM, pgroup = nil, reprieve = 1)
+  def terminate(pid, signal = :TERM, pgroup = nil, reprieve = 3)
     reprieve = apply_timeout_scale(reprieve) if reprieve
 
     signals = Array(signal).select do |sig|