#include <hallo.h> * Marco d'Itri [Thu, May 25 2006, 09:36:11AM]: > On May 24, Eduard Bloch <edi@gmx.de> wrote: > > > What about using depmod -a instead, how much would it cost? AFAICS it > We already do. Eh, typo, should have been "depmod -A". I think this is a sufficiently time-optimized version of "depmod -a". Eduard.