On Tue, Jun 26, 2007 at 01:16:45PM +0200, Kai Tietz wrote: > Hello, > > I noticed, that I submitted accidentily changes to Makefile.def, too. Of > course this file needs just to be regenerated. No, Makefile.def is not a generated file. Only Makefile.in is. -- Daniel Jacobowitz CodeSourcery