[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 21:18:47 +0300 |
> From: Lars Ingebrigtsen <address@hidden>
> Cc: address@hidden
> Date: Wed, 19 Jun 2019 19:29:37 +0200
>
> Eli Zaretskii <address@hidden> writes:
>
> > 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.
>
> Yup; I tried
>
> make; make extraclean; "rm all the files in the list"
>
> and then
>
> make
>
> and everything worked as it's supposed to -- it looked very much like a
> build from a fresh check-out.
Great, thanks. What's left is to update every Makefile.in with its
share of files to delete in the extraclean target.
- Re: A target that's even more bootstrap?, (continued)
- 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, 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/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
- 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