[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A target that's even more bootstrap?
From: |
Eli Zaretskii |
Subject: |
Re: A target that's even more bootstrap? |
Date: |
Wed, 19 Jun 2019 20:03:12 +0300 |
> From: Lars Ingebrigtsen <address@hidden>
> Cc: address@hidden
> Date: Wed, 19 Jun 2019 18:12:07 +0200
>
> > So I understand one thing extraclean doesn't do is remove the *.elc
> > files; let's add that. What else?
>
> I'm comparing a fresh clone with what's in the repo after a make; make
> extraclean. I've made a summary first and include the full list as an
> attachment.
>
> diff --unified /tmp/fresh /tmp/extra | grep "^\\+" | grep -v /.git/ >
> /tmp/diff
Thanks.
So if you delete all of these, then a simple "make" performs a full
bootstrap, just like in a fresh checkout? If so, all we need is add
to extraclean the commands to delete these files (I guess to the
respective Makefile.in files in the subdirectories). And then Bob
will be our uncle again.
- Re: A target that's even more bootstrap?, (continued)
- Re: A target that's even more bootstrap?, Eli Zaretskii, 2019/06/19
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/19
- Re: A target that's even more bootstrap?, Andy Moreton, 2019/06/19
- Re: A target that's even more bootstrap?, Óscar Fuentes, 2019/06/19
- Re: A target that's even more bootstrap?, Juanma Barranquero, 2019/06/19
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/19
- Re: A target that's even more bootstrap?, Eli Zaretskii, 2019/06/19
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/19
- Re: A target that's even more bootstrap?, Eli Zaretskii, 2019/06/19
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/19
- Re: A target that's even more bootstrap?,
Eli Zaretskii <=
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/19
- Re: A target that's even more bootstrap?, Eli Zaretskii, 2019/06/19
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/20
- Re: A target that's even more bootstrap?, Eli Zaretskii, 2019/06/20
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/20
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/20
- Re: A target that's even more bootstrap?, Eli Zaretskii, 2019/06/20
- Re: A target that's even more bootstrap?, Lars Ingebrigtsen, 2019/06/21
- A target that's even more bootstrap?, Paul Eggert, 2019/06/21
- Re: A target that's even more bootstrap?, Richard Stallman, 2019/06/22