Re: compilation warning in error.c

[Paul Eggert]

On 11/05/2014 02:03 AM, Werner LEMBERG wrote:
it might be a programming error
Sure, but it might not be an error, and in fact in this case it is 
definitely not an error.
I suggest disabling the unwanted diagnostic instead.  Something like 
this at the start of the file:
#if 4 < __GNUC__ + (3 <= __GNUC_MINOR__)
# pragma GCC diagnostic ignored "-Wformat-extra-args"
#endif