Accept -Wno- prefix in ARI
authorTom Tromey <tromey@adacore.com>
Thu, 5 Dec 2019 15:36:31 +0000 (08:36 -0700)
committerTom Tromey <tromey@adacore.com>
Fri, 13 Dec 2019 22:15:32 +0000 (15:15 -0700)
commit634561834ea3a089d6d535c56b923c7869c8a7c9
tree549672fafa422ab55add5cad76383f7652349d3d
parent98f9338a584c5f68595fc97e692e83f700c8da3d
Accept -Wno- prefix in ARI

This adds -Wno- support to ARI, so that warnings can be disabled
selectively.  I use this to ignore "deprecated" warnings.

gdb/ChangeLog
2019-12-13  Tom Tromey  <tromey@adacore.com>

* contrib/ari/gdb_ari.sh: Handle -Wno- prefix.

Change-Id: I6919faedf920e857df4f597df66f0ba3943e0eac
gdb/ChangeLog
gdb/contrib/ari/gdb_ari.sh