Re: [PATCH] stdnoreturn: new module

[Bruno Haible]

Eric Blake wrote:
> I'm leaning towards "#define noreturn /**/" as well.

Me too. It's the most reliable, will not give us surprises.

Bruno