[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master has switched from Automake to GNU Make
From: |
Eli Zaretskii |
Subject: |
Re: master has switched from Automake to GNU Make |
Date: |
Sat, 18 Mar 2017 18:47:12 +0200 |
> Cc: address@hidden, address@hidden
> From: Paul Eggert <address@hidden>
> Date: Sat, 18 Mar 2017 09:26:55 -0700
>
> Eli Zaretskii wrote:
>
> > What process? This is just a message, it changes nothing in the
> > process.
>
> The process that includes people reading and understanding and acting on
> messages. Complicating the messages complicates the process.
I think calling my proposal "complicating the messages" is an
exaggeration, to say the least.
> > AFAIR, last time you tried this, some people here objected to forcing
> > them install Git hooks.
>
> They would not be forced under my most recent proposal. They could run
> './autogen.sh autoconf' rather than plain './autogen.sh'. All that would be
> changed would be a minor simplification in the default.
We will have to ask those people, won't we?
- Re: No rule to make target `../../build-aux/snippet/arg-nonnull.h', (continued)
- Re: No rule to make target `../../build-aux/snippet/arg-nonnull.h', martin rudalics, 2017/03/17
- master has switched from Automake to GNU Make, Paul Eggert, 2017/03/17
- Re: master has switched from Automake to GNU Make, Eli Zaretskii, 2017/03/17
- Re: master has switched from Automake to GNU Make, Paul Eggert, 2017/03/17
- Re: master has switched from Automake to GNU Make, Eli Zaretskii, 2017/03/17
- Re: master has switched from Automake to GNU Make, Kaushal Modi, 2017/03/17
- Re: master has switched from Automake to GNU Make, Paul Eggert, 2017/03/17
- Re: master has switched from Automake to GNU Make, Paul Eggert, 2017/03/17
- Re: master has switched from Automake to GNU Make, Eli Zaretskii, 2017/03/18
- Re: master has switched from Automake to GNU Make, Paul Eggert, 2017/03/18
- Re: master has switched from Automake to GNU Make,
Eli Zaretskii <=
- Re: master has switched from Automake to GNU Make, martin rudalics, 2017/03/18
- Re: master has switched from Automake to GNU Make, Eli Zaretskii, 2017/03/18
- Re: master has switched from Automake to GNU Make, martin rudalics, 2017/03/18
- Re: master has switched from Automake to GNU Make, Robert Marshall, 2017/03/20
- Re: master has switched from Automake to GNU Make, Paul Eggert, 2017/03/20
- Re: master has switched from Automake to GNU Make, Robert Marshall, 2017/03/21
- Re: master has switched from Automake to GNU Make, Tom Tromey, 2017/03/21
- Re: master has switched from Automake to GNU Make, Paul Eggert, 2017/03/21
- Re: master has switched from Automake to GNU Make, Eli Zaretskii, 2017/03/21
- Re: master has switched from Automake to GNU Make, martin rudalics, 2017/03/23