[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: |
Thu, 20 Jun 2019 16:06:47 +0300 |
> From: Lars Ingebrigtsen <address@hidden>
> Date: Thu, 20 Jun 2019 13:32:28 +0200
> Cc: address@hidden
>
> With the patch below, the only remaining files (not in a clean
> check-out) are:
>
> +./info
> +./src/config.in
> +./lib/sys
> +./configure
>
> Should the ./configure file also be deleted by extraclean?
Yes, I think so.
> If I remove src/config.in, then the subsequent "make" after "make
> extraclean" fails with
>
> config.status: error: cannot find input file: `src/config.in'
> GNUmakefile:72: recipe for target 'Makefile' failed
>
> and I have to run autogen.sh again...
How is this different from doing the same in a fresh checkout? is
this because the configure script wasn't removed, or for some other
reason?
> The two directories
>
> +./info
> +./lib/sys
>
> perhaps don't matter, and I'd rather not do an rm -rf on a directory...
Are these directories empty?
- Re: A target that's even more bootstrap?, (continued)
- 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, 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 <=
- 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
- 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