On Wed, Mar 23, 2016 at 12:29:56AM +0000, Pedro Alves wrote: > Yes. RDI was removed many years ago: > > https://sourceware.org/ml/gdb-patches/2015-08/msg00668.html
Your clock runs fast. This was only six months ago. :-) Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
