[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Git help please - checking out old commit doesn't find lib/gnulib.mk
From: |
Yasushi SHOJI |
Subject: |
Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in. |
Date: |
Mon, 13 Nov 2017 10:42:07 +0900 |
Hi,
On Mon, Nov 13, 2017 at 6:55 AM, Alan Mackenzie <address@hidden> wrote:
> On Sun, Nov 12, 2017 at 13:23:37 -0800, Paul Eggert wrote:
>> Stefan Monnier wrote:
>> > FWIW, I'm in Alan's camp: I can never remember which kind of "clean"
>> > does what in the makefile.
>
>> We could have a new rule ("make bootgit", say?) that does a "git clean -fdx"
>> followed by a "make bootstrap". This rule would be useful only for developers
>> who are using git.
>
> And that would be utterly useless for me. I have quite a few
> non-registered files around my repositories, for example those used by
> backup scripts, or diff files, or stdout/stderr from Emacs builds.
I agree. It's too risky to blindly call 'git clean -fdx'.
Why don't we just use a build dir separate from the source dir?
I'm sure autotools supports it.
--
yashi
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., (continued)
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Eli Zaretskii, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Alan Mackenzie, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Eli Zaretskii, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Stefan Monnier, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Paul Eggert, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Alan Mackenzie, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Óscar Fuentes, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Stefan Monnier, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Óscar Fuentes, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Stefan Monnier, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in.,
Yasushi SHOJI <=
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Andreas Schwab, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Eli Zaretskii, 2017/11/12
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Alan Mackenzie, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Paul Eggert, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Alan Mackenzie, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Eli Zaretskii, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Alan Mackenzie, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Eli Zaretskii, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Alan Mackenzie, 2017/11/13
- Re: Git help please - checking out old commit doesn't find lib/gnulib.mk.in., Eli Zaretskii, 2017/11/13