Re: [PATCH] Work around a bug in Solaris make's file-inclusion mechanism.

Hello Dave, Stefano, * Dave Hart wrote on Fri, Jul 16, 2010 at 03:47:53AM CEST: > On Thu, Jul 15, 2010 at 22:59 UTC, Stefano Lattarini wrote: > > At Thursday 15 July 2010, Ralf Wildenhues wrote: > >> No, the patch should not modify initial double slash, that is not > >> the same as a single slash

Re: [PATCH] Work around a bug in Solaris make's file-inclusion mechanism.

On Thu, Jul 15, 2010 at 22:59 UTC, Stefano Lattarini wrote: > At Thursday 15 July 2010, Ralf Wildenhues wrote: >> No, the patch should not modify initial double slash, that is not >> the same as a single slash in general. > Why? I hope it's not rude for me to dive in from a lurking position. The

Re: [PATCH] Work around a bug in Solaris make's file-inclusion mechanism.

At Thursday 15 July 2010, Ralf Wildenhues wrote: > No, the patch should not modify initial double slash, that is not > the same as a single slash in general. Why? > Ok with that fixed. I'll wait an answer before fixing that. And obviously, any push is suspended until we work this out. Regards,

Re: [PATCH] Work around a bug in Solaris make's file-inclusion mechanism.

* Stefano Lattarini wrote on Thu, Jul 15, 2010 at 09:38:28PM CEST: > At Saturday 15 May 2010, Stefano Lattarini wrote: > > [From a thread in bug-autom...@gnu.org] > > [] > > > > Hello Ralf. I went ahead and wrote a patch to apply y

Re: [PATCH] Work around a bug in Solaris make's file-inclusion mechanism.

At Saturday 15 May 2010, Stefano Lattarini wrote: > [From a thread in bug-autom...@gnu.org] > [] > > Hello Ralf. I went ahead and wrote a patch to apply your changes. > I added my name too in the ChangeLog entry, since I wrote a t

Re: [QUESTION] Pushing patches.

At Thursday 15 July 2010, Ralf Wildenhues wrote: > Why not just send a bug report to bug-gnulib, since you already > have a reproducer? Good idea. Done. Regards, Stefano

Re: [QUESTION] Pushing patches.

* Stefano Lattarini wrote on Thu, Jul 15, 2010 at 08:59:17PM CEST: > At Thursday 15 July 2010, Ralf Wildenhues wrote: > > * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST: > > Bruno prefers the former style, but maybe he accepts a patch to > > optionally keep the style of the latte

Re: [QUESTION] Pushing patches.

At Thursday 15 July 2010, Ralf Wildenhues wrote: > Hi Stefano, > > * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST: > [ git-merge-changelog ] > > > However, there is a problem w.r.t. the Automake policy of keeping > > multiple ChangeLog entries with same author and date lumped >

Re: [QUESTION] Pushing patches.

Hi Stefano, * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST: [ git-merge-changelog ] > However, there is a problem w.r.t. the Automake policy of keeping > multiple ChangeLog entries with same author and date lumped togheter. > In fact, git-merge-changelog seems to separate them

Re: [QUESTION] Pushing patches.

At Thursday 15 July 2010, Ralf Wildenhues wrote: > Hi Stefano, > > * Stefano Lattarini wrote on Wed, Jul 14, 2010 at 03:51:05PM CEST: > > Independently from the fact that you give or not your OK to this > > particular patch, I'd like to know if the following procedure is > > correct for the pushin