Thanks, I pushed the following patch to gnulib. It should be
incorporated automatically into the next version of coreutils
so I'm marking the bug as done.
diff --git a/ChangeLog b/ChangeLog
index 59de3e5..aae8c64 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-11-13 Paul Eggert
+
On 11 November 2013 14:30, Jim Meyering wrote:
> Glad you found it.
> If you can find a good way to document it, I'd appreciate a patch.
>
I can think of nothing better than a note in the source, by whoever wrote
it, so it reflects their intention rather than my half-baked guesses.
--
http://
On Wed, Nov 13, 2013 at 10:44 AM, Reuben Thomas wrote:
> On 11 November 2013 14:30, Jim Meyering wrote:
>>
>> Glad you found it.
>> If you can find a good way to document it, I'd appreciate a patch.
>
>
> I can think of nothing better than a note in the source, by whoever wrote
> it, so it reflec
On 13 November 2013 19:20, Jim Meyering wrote:
> On Wed, Nov 13, 2013 at 10:44 AM, Reuben Thomas wrote:
> > On 11 November 2013 14:30, Jim Meyering wrote:
> >>
> >> Glad you found it.
> >> If you can find a good way to document it, I'd appreciate a patch.
> >
> >
> > I can think of nothing bett
Bruce Korb writes:
> On 11/10/13 12:41, Paul Eggert wrote:
>> A better solution, if you want to be portable to
>> MSVC, is to use _Noreturn instead of noreturn.
>> This is for reasons described in stdnoreturn.in.h.
>>
>> '_Noreturn' is a bit ugly; if you don't care about
>> MSVC, then __attribute
