[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] maint: update gnulib to latest
|
From: |
Pádraig Brady |
|
Subject: |
Re: [PATCH] maint: update gnulib to latest |
|
Date: |
Mon, 25 Jun 2018 09:54:45 -0700 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 |
On 25/06/18 05:13, Bernhard Voelker wrote:
> 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.
Yes the syntax check is not quite right.
I suspect it's right for the current config setup,
but not for all.
Probably best to disable that syntax-check for now.
It's not helping.