Re: New ARI warning Wed Aug 12 01:53:55 UTC 2015

Joel Brobecker
2015-08-14T18:32:31Z

> I have it on my plate to address this after BuildBot stops harassing me. :-)

:-)

> My inclination was to fix gdb_ari.sh to recognize this, but I'm just as
> happy to simply rename the parameter to "P". [It's a lot less work, too!]

I would personally KISS and just rename, but enhancing the gdb_ari.sh
script would of course be a better option (but, to be clear, an option
which I personally think is not worth your time - it would be different
if we had that all the time, but that doesn't appear to be the case).

Thanks!
--
Joel