Re: [PATCH] stdlib: support non-GCC __attribute__

[Bruno Haible]

Hi Paul,

> While that might be useful, there's a downside to it too.
> With the current approach, if a program includes two gnulib-supplied
> headers (stdin.h and stdlib.h, say), and if these headers due to
> some versioning screwup define _GL_ATTRIBUTE_NORETURN differently,
> a C compiler is required to diagnose the screwup.  With the proposed
> approach, the earlier header (whatever it happened to be) would
> silently win.

Good point. I withdraw this patch, and adjust the other patch to remove
the #ifndef lines.

Bruno

-- 
In memoriam Alexander Samoylovich 
<http://en.wikipedia.org/wiki/Alexander_Samoylovich>