On Fri, 2 Apr 2021 at 03:19, Lars Ingebrigtsen wrote: > Lars Ingebrigtsen 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