Re: [HACKERS] PATCH: Allow distdir to be overridden on make command line

2014-08-30 Thread Michael Paquier
On Sun, Aug 31, 2014 at 10:37 AM, Peter Eisentraut wrote: > On Fri, 2014-08-29 at 10:04 +0800, Craig Ringer wrote: > > Not just a one line patch, a one character patch. > > > > Use ?= instead of = in distdir assignment, so it can be overridden on > > the command line when building dist tarballs w

Re: [HACKERS] PATCH: Allow distdir to be overridden on make command line

2014-08-30 Thread Peter Eisentraut
On Fri, 2014-08-29 at 10:04 +0800, Craig Ringer wrote: > Not just a one line patch, a one character patch. > > Use ?= instead of = in distdir assignment, so it can be overridden on > the command line when building dist tarballs with patches. This is already possible without this patch. You can a

[HACKERS] PATCH: Allow distdir to be overridden on make command line

2014-08-28 Thread Craig Ringer
Not just a one line patch, a one character patch. Use ?= instead of = in distdir assignment, so it can be overridden on the command line when building dist tarballs with patches. Yes, you can just modify GNUMakefile.in, but that's extra noise in a diff, adds merge conflicts, etc. Please apply. S