| commit | 20fcd1747993127c648b9a3ad393a6caa3a025ba | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Wed May 31 08:28:01 2023 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Wed May 31 08:28:01 2023 -0600 |
| tree | 87ddc8af5668e950653bf3cd0e08bc7f769ad79e | |
| parent | 0b1cae3530601b0e5e16bb10cebafa69c43a3d09 [diff] |
Pass correct name to @value in gdb.texinfo
I noticed a couple instance of this warning when rebuilding the gdb
info files:
warning: undefined flag: GDB
The problem is that the wrong argument was passed to @value. This
patch fixes the problem.