Merge pull request #123 from riscv/gdb_timeout
authorTim Newsome <tim@sifive.com>
Mon, 16 Apr 2018 19:14:13 +0000 (12:14 -0700)
committerGitHub <noreply@github.com>
Mon, 16 Apr 2018 19:14:13 +0000 (12:14 -0700)
Compute gdb command timeout based on ops estimate


Trivial merge