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

[Tim Cross <theophilusx@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 969 bytes --]

On Fri, 2 Apr 2021 at 03:19, Lars Ingebrigtsen <larsi@gnus.org> wrote:

> 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.
>
>
I was going to post something similar. I found the same when I did a timing
comparison as well. The difference is very small and doesn't provide much
support for justifying having both targets. There may be other reasons to
have both, but build time differences don't seem sufficient, especially
given the potential confusion wrt the different targets.


-- 
regards,

Tim

--
Tim Cross

[-- Attachment #2: Type: text/html, Size: 1645 bytes --]