On 02/16/2012 01:17 PM, Stefano Lattarini wrote:
>>> +_gl-Makefile := $(wildcard [M]akefile)
>>
>> According to 'info make', both 'makefile' and 'Makefile' serve as
>> defaults, so I'd rather see this as $(wildcard [mM]akefile).
>>
> This would be theoretically more correct, true, but honestly I'v
On 02/16/2012 09:02 PM, Eric Blake wrote:
> On 02/16/2012 12:38 PM, Stefano Lattarini wrote:
>> * top/GNUmakefile: Use $(wildcard) instead of $(shell) to determine
>> whether the tree make is being run from is already configured or
>> not. Related simplifications.
>> ---
>> ChangeLog |7
On 02/16/2012 12:38 PM, Stefano Lattarini wrote:
> * top/GNUmakefile: Use $(wildcard) instead of $(shell) to determine
> whether the tree make is being run from is already configured or
> not. Related simplifications.
> ---
> ChangeLog |7 +++
> top/GNUmakefile | 14 ++
* top/GNUmakefile: Use $(wildcard) instead of $(shell) to determine
whether the tree make is being run from is already configured or
not. Related simplifications.
---
ChangeLog |7 +++
top/GNUmakefile | 14 ++
2 files changed, 9 insertions(+), 12 deletions(-)
diff --g
On Sun, 12 Feb 2012 22:48, j...@meyering.net said:
> Hard-coding "--"...
Right. I can't think of a ChangeLog line which ends in "--\s*".
Commonly "--" is used as the prefix for an option; ie. directly followed
by non-white space. The option list terminator "--" might be used but
then it should
