Re: [PATCH] config.c: mark die_bad_number as NORETURN

2014-04-16 Thread Junio C Hamano
Jeff King writes: > On Wed, Apr 16, 2014 at 06:38:19PM +0200, Torsten Bögershausen wrote: > >> > Does that also silence the warning? >> > >> This works under gcc 4.2.1 Mac OS: the warning is away. > > Thanks. I couldn't test myself, as I could not get gcc to generate the > warning in the first p

[PATCH] config.c: mark die_bad_number as NORETURN

2014-04-16 Thread Jeff King
On Wed, Apr 16, 2014 at 06:38:19PM +0200, Torsten Bögershausen wrote: > > Does that also silence the warning? > > > This works under gcc 4.2.1 Mac OS: the warning is away. Thanks. I couldn't test myself, as I could not get gcc to generate the warning in the first place, but I do not have anythin