On 2013-09-15 Ludovic Courtès <ludo at gnu.org> wrote: [...] > Andreas: what version of GNU Make did you use? GNU Make 3.81 cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure'