Nicolas George wrote on Wed, 2 Feb 2011 15:35:47 +0100: > Why not just make -s? It's ok (and was new to me :)), but I find it easier to follow the compiling process when getting information on what is done. But I will use make -s now, thanks for pointing out. Ingo