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. 

Christophe

-- 
Christophe Barbe <[EMAIL PROTECTED]>
GnuPG FingerPrint: E0F6 FADF 2A5C F072 6AF8  F67A 8F45 2F1E D72C B41E

Reply via email to