[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] maint: update gnulib to latest
|
From: |
Bernhard Voelker |
|
Subject: |
Re: [PATCH] maint: update gnulib to latest |
|
Date: |
Mon, 25 Jun 2018 14:13:06 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 |
Hi Padraig,
On 06/24/2018 11:21 PM, Pádraig Brady wrote:
> * .gitignore: Add a new header to ignore.
I'm getting a syntax-check failure now:
$ make syntax-check
...
gitignore_redundant
/lib/arg-nonnull.h
/lib/c++defs.h
/lib/unused-parameter.h
/lib/warn-on-use.h
maint.mk: Remove above entries from .gitignore
make: *** [cfg.mk:791: sc_gitignore_redundant] Error 1
You removed the same entries in commit v8.27-109-gc6f9c75c1,
and Eric added them before in commit v8.2-26-g3d09e31e0.
Any idea why they're popping up again?
'sc_gitignore_redundant' compares .gitignore with the generated
lib/.gitignore, so something there seems to be odd.
Thanks & have a nice day,
Berny