Eric Botcazou Thu, 15 Nov 2012 08:33:21 -0800
> ahh, this is with GNU make 3.80. Checked in the following patch as obvious.
Thanks! -- Eric Botcazou