Re: [PATCH] "make dist" did not depend on $(BUILT_SOURCES)

2017-11-28 Thread Jim Meyering
On Tue, Nov 28, 2017 at 8:35 PM, Nick Bowler wrote: > On 2017-11-28 18:13 -0800, Jim Meyering wrote: >> On Tue, Nov 28, 2017 at 12:45 PM, Nick Bowler wrote: >> > The Automake manual unequivocally states that BUILT_SOURCES files are >> > generated only when

Re: [PATCH] "make dist" did not depend on $(BUILT_SOURCES)

2017-11-28 Thread Nick Bowler
On 2017-11-28 18:13 -0800, Jim Meyering wrote: > On Tue, Nov 28, 2017 at 12:45 PM, Nick Bowler wrote: > > The Automake manual unequivocally states that BUILT_SOURCES files are > > generated only when running 'make all', 'make check' or 'make install'. > > > > So if they are

Re: [PATCH] "make dist" did not depend on $(BUILT_SOURCES)

2017-11-28 Thread Jim Meyering
On Tue, Nov 28, 2017 at 12:01 PM, Mathieu Lirzin wrote: > Hello Jim, ... >> >> Here's the patch I expect to push to master: ... > > OK to push. Thanks. Pushed. I have also removed the micro branch.

Re: [PATCH] "make dist" did not depend on $(BUILT_SOURCES)

2017-11-28 Thread Jim Meyering
On Tue, Nov 28, 2017 at 12:45 PM, Nick Bowler <nbow...@draconx.ca> wrote: > Hi Jim, > > On 2017-11-28 11:21 -0800, Jim Meyering wrote: >> Date: Thu, 20 Mar 2014 12:31:32 -0700 >> Subject: [PATCH] "make dist" did not depend on $(BUILT_SOURCES) >&g

Re: [PATCH] "make dist" did not depend on $(BUILT_SOURCES)

2017-11-28 Thread Nick Bowler
Hi Jim, On 2017-11-28 11:21 -0800, Jim Meyering wrote: > Date: Thu, 20 Mar 2014 12:31:32 -0700 > Subject: [PATCH] "make dist" did not depend on $(BUILT_SOURCES) > > * lib/am/distdir.am (distdir-am): New intermediate target. > Interpose this target between $(di

Re: [PATCH] "make dist" did not depend on $(BUILT_SOURCES)

2017-11-28 Thread Mathieu Lirzin
ter: > > From: Jim Meyering <meyer...@fb.com> > Date: Thu, 20 Mar 2014 12:31:32 -0700 > Subject: [PATCH] "make dist" did not depend on $(BUILT_SOURCES) > > * lib/am/distdir.am (distdir-am): New intermediate target. > Interpose this target between $(distdir) and

[PATCH] "make dist" did not depend on $(BUILT_SOURCES)

2017-11-28 Thread Jim Meyering
is: src/hello.c:27:10: fatal error: configmake.h: No such file or directory #include "configmake.h" ^~ Here's the patch I expect to push to master: From: Jim Meyering <meyer...@fb.com> Date: Thu, 20 Mar 2014 12:31:32 -0700 Subject: [PATCH] "make dist&