Default to openocd, not riscv-openocd

AFAICT the normal build process never builds a binary called
riscv-openocd.

diff --git a/debug/testlib.py b/debug/testlib.py
index 8855e248150c862ec7adff6891bd089013dce8a5..27bef1a7699c9d9d0f66a13fe416c0d8e954663a 100644 (file)
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -161,7 +161,7 @@ class Openocd(object):
         if server_cmd:
             cmd = shlex.split(server_cmd)
         else:
-            openocd = os.path.expandvars("$RISCV/bin/riscv-openocd")
+            openocd = os.path.expandvars("$RISCV/bin/openocd")
             cmd = [openocd]
             if debug:
                 cmd.append("-d")