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.