Re: Ping: RFA: speeding up dg-extract-results.sh

2014-05-05 Thread Richard Sandiford
Jakub Jelinek writes: > On Sat, May 03, 2014 at 08:34:07AM +0100, Richard Sandiford wrote: >> Ping for this old patch. I didn't ping it before because I can imagine >> it wasn't a good idea at that stage in 4.8. But I've been using it locally >> since and it really does make a big difference whe

Re: Ping: RFA: speeding up dg-extract-results.sh

2014-05-05 Thread Jakub Jelinek
On Sat, May 03, 2014 at 08:34:07AM +0100, Richard Sandiford wrote: > Ping for this old patch. I didn't ping it before because I can imagine > it wasn't a good idea at that stage in 4.8. But I've been using it locally > since and it really does make a big difference when testing lots of > multilib

Ping: RFA: speeding up dg-extract-results.sh

2014-05-03 Thread Richard Sandiford
Ping for this old patch. I didn't ping it before because I can imagine it wasn't a good idea at that stage in 4.8. But I've been using it locally since and it really does make a big difference when testing lots of multilibs. Thanks, Richard Richard Sandiford writes: > dg-extract-results.sh is