[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] docs: mention $MAKE during configure

From: Eric Blake
Subject: Re: [PATCH] docs: mention $MAKE during configure
Date: Thu, 03 Jan 2013 15:22:23 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0

On 01/03/2013 03:10 PM, Stefano Lattarini wrote:
> On 01/03/2013 10:54 PM, Eric Blake wrote:
>> Based on a suggestion from Bob Friesenhahn:
>> * doc/install.texi (Defining Variables): Mention that MAKE
>> can be overridden, and the caveats that come with setting it.

>> +Another variable to be aware of is @env{MAKE}; many packages allow this
>> +to be set during @command{configure} in order to request the use of an
>> +alternative @command{make} implementation (such as GNU make, which is
>> +often present as @command{gmake}).  However, once an alternative is
>> +chosen, the resulting Makefile may no longer work with the generic
>> address@hidden, so you must make sure to consistently use your
>> +alternative make.
>> +
> s/make/@command{make}/?

Or maybe s/make/$MAKE/?

> Apart from that possible nit, ACK from me.

I'll see if anyone else chimes in with a wording suggestion in the next
24 hours or so, then push.  We will then see if the gnulib autoupdate
picks it up, or if I will have to give it a kick to find the new INSTALL.

Eric Blake   eblake redhat com    +1-919-301-3266
Libvirt virtualization library

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]