Merge pull request #55 from riscv/debug
authorTim Newsome <tim@sifive.com>
Tue, 27 Jun 2017 17:28:10 +0000 (10:28 -0700)
committerGitHub <noreply@github.com>
Tue, 27 Jun 2017 17:28:10 +0000 (10:28 -0700)
Test gdb/OpenOCD during regular test run.


Trivial merge