diff options
| author | Tom Tromey <tromey@adacore.com> | 2019-10-02 10:13:33 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2019-10-08 11:16:21 -0600 |
| commit | cd6fdaa1edac2a543aa23d77f0001f25f45c026b (patch) | |
| tree | 1b93f96c3ab09f23e716befe6fd869d114f60d23 /config/picflag.m4 | |
| parent | 79bb1944d63eb04f86cfacc62321c1062c292ac0 (diff) | |
| download | gdb-cd6fdaa1edac2a543aa23d77f0001f25f45c026b.zip gdb-cd6fdaa1edac2a543aa23d77f0001f25f45c026b.tar.gz gdb-cd6fdaa1edac2a543aa23d77f0001f25f45c026b.tar.bz2 | |
Let ARI allow gdb %p printf extensions
As pointed out by Simon, this changes ARI to allow the gdb-specific %p
printf extensions.
gdb/ChangeLog
2019-10-08 Tom Tromey <tromey@adacore.com>
* contrib/ari/gdb_ari.sh (%p): Allow gdb-specific %p extensions.
Diffstat (limited to 'config/picflag.m4')
0 files changed, 0 insertions, 0 deletions