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

[Eli Zaretskii]

> From: Tim Cross <theophilusx@gmail.com>
> Date: Fri, 2 Apr 2021 15:19:02 +1100
> Cc: Glenn Morris <rgm@gnu.org>, Eli Zaretskii <eliz@gnu.org>,
>  Stefan Monnier <monnier@iro.umontreal.ca>,
>  Emacs developers <emacs-devel@gnu.org>
> 
>  $ 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. 

To the extent that times are at all relevant, you should time on a
slow machine, and without -j16 (which hints on a modern and a very
powerful CPU).  Otherwise the times are completely uninteresting in
this context (although even they already show an extra minute of user
time).