On Wed, 2011-07-06 at 17:45 +0200, Cor Nouws wrote: > So I followed the advise given, and then started a new make -r > Got some nice output, but no error: Might have been make itself, make -v ? C.