Re: [DOCS] make vs. gmake

2014-02-12 Thread Bruce Momjian
On Fri, Jan 31, 2014 at 12:28:15PM -0500, Bruce Momjian wrote: > On Fri, Jul 26, 2013 at 01:49:32PM -0400, Bruce Momjian wrote: > > FYI, our source code build docs suggest 'gmake' in a number of places > > while 'make' would be used on other platforms. Should we change these > > to just say 'make

Re: [DOCS] make vs. gmake

2014-01-31 Thread Bruce Momjian
On Fri, Jul 26, 2013 at 01:49:32PM -0400, Bruce Momjian wrote: > FYI, our source code build docs suggest 'gmake' in a number of places > while 'make' would be used on other platforms. Should we change these > to just say 'make'? I think we suggested 'gmake' in the past because of > FreeBSD havin

[DOCS] make vs. gmake

2013-07-26 Thread Bruce Momjian
FYI, our source code build docs suggest 'gmake' in a number of places while 'make' would be used on other platforms. Should we change these to just say 'make'? I think we suggested 'gmake' in the past because of FreeBSD having BSD 'make' and requring GNU make. -- Bruce Momjian http: