Re: [PATCH] help: make help_unknown_ref() NORETURN

2019-08-29 Thread Martin Ågren
On Thu, 29 Aug 2019 at 22:08, René Scharfe wrote: > > Am 29.08.19 um 21:40 schrieb Martin Ågren: > > On Thu, 29 Aug 2019 at 21:15, René Scharfe wrote: > >> diff --git a/help.h b/help.h > >> index b8780fbd0f..7a455beeb7 100644 > >> --- a/help.h > >> +++ b/help.h > >> @@ -42,8 +42,8 @@ void list_co

Re: [PATCH] help: make help_unknown_ref() NORETURN

2019-08-29 Thread René Scharfe
Am 29.08.19 um 21:40 schrieb Martin Ågren: > On Thu, 29 Aug 2019 at 21:15, René Scharfe wrote: >> diff --git a/help.h b/help.h >> index b8780fbd0f..7a455beeb7 100644 >> --- a/help.h >> +++ b/help.h >> @@ -42,8 +42,8 @@ void list_commands(unsigned int colopts, struct cmdnames >> *main_cmds, struct

Re: [PATCH] help: make help_unknown_ref() NORETURN

2019-08-29 Thread Martin Ågren
On Thu, 29 Aug 2019 at 21:15, René Scharfe wrote: > > Announce that calling help_unknown_ref() exits the program. > > Signed-off-by: René Scharfe > --- > Patch generated with --function-context for easier review. > > help.c | 3 ++- > help.h | 2 +- > 2 files changed, 3 insertions(+), 2 deletion

[PATCH] help: make help_unknown_ref() NORETURN

2019-08-29 Thread René Scharfe
Announce that calling help_unknown_ref() exits the program. Signed-off-by: René Scharfe --- Patch generated with --function-context for easier review. help.c | 3 ++- help.h | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/help.c b/help.c index 5261d83ecf..9ff2be6b18 10064