> ahh, this is with GNU make 3.80. Checked in the following patch as obvious.

Thanks!

-- 
Eric Botcazou

Reply via email to