[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Tim Cross
Subject: Re: extraclean and admin/grammars [was Re: Git master head build failure?]
Date: Fri, 2 Apr 2021 15:19:02 +1100

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. 



Tim Cross

reply via email to

[Prev in Thread] Current Thread [Next in Thread]