[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: |
Lars Ingebrigtsen |
Subject: |
Re: extraclean and admin/grammars [was Re: Git master head build failure?] |
Date: |
Thu, 01 Apr 2021 18:19:02 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
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.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Git master head build failure?, (continued)
- Re: Git master head build failure?, Eli Zaretskii, 2021/04/01
- Re: Git master head build failure?, Stefan Monnier, 2021/04/01
- Re: Git master head build failure?, Eli Zaretskii, 2021/04/01
- Re: Git master head build failure?, Stefan Monnier, 2021/04/01
- Re: Git master head build failure?, Eli Zaretskii, 2021/04/01
- extraclean and admin/grammars [was Re: Git master head build failure?], Glenn Morris, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Lars Ingebrigtsen, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?],
Lars Ingebrigtsen <=
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Tim Cross, 2021/04/02
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/02
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Lars Ingebrigtsen, 2021/04/02
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/02
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Lars Ingebrigtsen, 2021/04/02
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/02
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Lars Ingebrigtsen, 2021/04/03
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/03
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], chad, 2021/04/03