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.
