On Sun, Feb 15, 2015 at 5:42 PM, Ben Elliston <[email protected]> wrote: > Where's the patch? >
My patch was for GCC to work around this dejagnu bug. I can provide a patch for dejagnu if everyone agrees that it is a dejagnu bug. -- H.J. _______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu
