Re: extraclean and admin/grammars [was Re: Git master head build failure?]

[Lars Ingebrigtsen]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> My preference would be for "make bootstrap" to delete these files, too
> -- so that we have one simple, easy to remember recipe to give users who
> have build problems.

Here's timing numbers from my compile rig:

$ make extraclean; time make -j16

real    2m53.046s
user    13m38.421s
sys     0m44.558s

$ time make -j16 bootstrap

real    2m46.672s
user    12m47.264s
sys     0m44.395s

So the difference isn't very large.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no