[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: |
Eli Zaretskii |
Subject: |
Re: extraclean and admin/grammars [was Re: Git master head build failure?] |
Date: |
Thu, 01 Apr 2021 21:29:41 +0300 |
> From: Glenn Morris <rgm@gnu.org>
> Cc: Stefan Monnier <monnier@iro.umontreal.ca>, theophilusx@gmail.com,
> emacs-devel@gnu.org
> Date: Thu, 01 Apr 2021 12:05:25 -0400
>
> Eli Zaretskii wrote:
>
> > "make bootstrap" isn't for building from a pristine tree, that's not
> > its purpose.
>
> I consider that to be the purpose of bootstrap.
I disagree.
> I disagree with the description of extraclean as "and all generated files".
I disagree with your disagreement.
> Since several people seem to have an issue lately with these files
> getting corrupted, I have a good mind to make that change.
Please don't.
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], (continued)
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/01
- 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?], Stefan Monnier, 2021/04/01
- 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?], Stefan Monnier, 2021/04/12
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?],
Eli Zaretskii <=
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Glenn Morris, 2021/04/04
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/04
Re: Git master head build failure?, Eli Zaretskii, 2021/04/01
Re: Git master head build failure?, Gregor Zattler, 2021/04/01