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.
