On Wed, 2014-06-25 at 23:33 +0200, Yann E. MORIN wrote: > Yann, All, > > Your patch: > all: fix wildcard to work with make-4.x Not that it matters, but this change (unsorted wildcard results) was made in GNU make 3.82, not 4.0. Cheers! -- For unsubscribe information see http://sourceware.org/lists.html#faq