[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A target that's even more bootstrap?
From: |
Lars Ingebrigtsen |
Subject: |
Re: A target that's even more bootstrap? |
Date: |
Wed, 19 Jun 2019 19:29:37 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
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.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: A target that's even more bootstrap?, (continued)
- 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, 2019/06/19
- Re: A target that's even more bootstrap?,
Lars Ingebrigtsen <=
- 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
- Re: A target that's even more bootstrap?, Eli Zaretskii, 2019/06/20