diff options
Diffstat (limited to 'tools/verify_qemu.py')
| -rwxr-xr-x | tools/verify_qemu.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/verify_qemu.py b/tools/verify_qemu.py index df9f83d..7402852 100755 --- a/tools/verify_qemu.py +++ b/tools/verify_qemu.py @@ -72,7 +72,7 @@ def try_remove(l: list, v): if __name__ == "__main__": prog = make_argparser() - prog.add_argument('--gdb', default='/bin/gdb', + prog.add_argument('--gdb', default='gdb', help='GDB binary to invoke.') args = prog.parse_args() |