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
