On Thu, May 26, 2022 at 12:30:05PM +0200, Christophe JAILLET wrote:
>
> Le 26/05/2022 à 11:51, Dan Carpenter a écrit :
> >
> > > All I know is that it seams to work for me, even if it has not detected any
> > > issue yet :) (compiling takes SO MUCH time on my machine)
> > Yeah. :/ How big is your smatch_db.sqlite file?
>
> I don't use any up-to-now.
Basically all my changes are targetted at making the smatch_db.sqlite
file smaller so they won't help you. Are you at least doing a parallel
build? The smatch_scripts/test_kernel.sh script does a make -j${NR_CPU}.
regards,
dan carpenter
