Default to openocd, not riscv-openocd
authorTim Newsome <tim@sifive.com>
Fri, 9 Jun 2017 17:59:43 +0000 (10:59 -0700)
committerTim Newsome <tim@sifive.com>
Fri, 9 Jun 2017 18:01:17 +0000 (11:01 -0700)
commit6de31e5361b48afc2b1bfe4e6d2af72559f37e70
tree47e82188c9599eaf19d0418adba2072ef7427a19
parent12b8a1a45d62c00cc4f1bc9d6d44948352c9615f
Default to openocd, not riscv-openocd

AFAICT the normal build process never builds a binary called
riscv-openocd.
debug/testlib.py