diff options
Diffstat (limited to 'tool/lib')
| -rw-r--r-- | tool/lib/envutil.rb | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tool/lib/envutil.rb b/tool/lib/envutil.rb index 2b943834ac..2faf48385e 100644 --- a/tool/lib/envutil.rb +++ b/tool/lib/envutil.rb @@ -149,9 +149,6 @@ module EnvUtil if (!th_stdout || th_stdout.join(timeout)) && (!th_stderr || th_stderr.join(timeout)) timeout_error = nil else - if File.exist?("/home/ko1/ruby/build-ruby/gdbscript") - system("gdb", "-p", pid.to_s, "-x", "/home/ko1/ruby/build-ruby/gdbscript", "-batch", "-quiet") - end status = terminate(pid, signal, opt[:pgroup], reprieve) terminated = Time.now end |