On 07/02/2012 11:35 PM, Paul Eggert wrote: > On 07/02/2012 02:25 PM, Pádraig Brady wrote: >> I think the following might be a better fix >> since it will remove redundant code in this case. > > Yes, that sounds like a win. Before I got your message, > though, I had already installed the following more-conservative > patch, as I thought I had introduced this bug in > commit c25bdbae48977a527dff69150f59fb0746d31b51. > (I hope you don't mind my trying to claim the blame > for that bug....) > > I think your patch is a better one though, as it > shrinks the code on non-Linux systems. >
OK I'll post a follow up patch. cheers, Pádraig.
