On Tue, 2003-07-01 at 14:03, christophe barbe wrote: > Le mar 01/07/2003 à 08:00, Benjamin Herrenschmidt a écrit : > > Yes, I could have done a make distclean before posting, sure, but > > that's not a problem. As long as you properly do make oldconfig, > > make dep etc... it should be fine > > I am afraid this is not the case. I use make-kpkg which does a make > oldconfig (I don't know for make dep). > Don't get me wrong I don't want to criticize, it's just that I expect > most debian user to use make-kpkg and get the same problem.
It is created by make dep. If it doesn't work for you, then check you don't have permission problems on the file Ben.