On Wed, May 28, 2014 at 03:15:51PM +0200, Hans-Peter Nilsson wrote: > Ping. I'd rather *not* tie this fix to moving to require GNU > make, please. OK then, since no one else has supported moving to GNU make. -- Alan Modra Australia Development Lab, IBM