diff options
author | René Scharfe <l.s.r@web.de> | 2019-08-29 22:13:16 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-08-30 20:22:42 +0300 |
commit | 80e3658647561c4a8587978747752f6f63a96717 (patch) | |
tree | de5d82aaa08bfeb34f5aa7058da5e42f90911282 /help.h | |
parent | 75b2f01a0f642b39b0f29b6218515df9b5eb798e (diff) |
help: make help_unknown_ref() NORETURN
Announce that calling help_unknown_ref() exits the program.
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'help.h')
-rw-r--r-- | help.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -43,7 +43,7 @@ void list_commands(unsigned int colopts, struct cmdnames *main_cmds, struct cmdn * call this to die(), when it is suspected that the user mistyped a * ref to the command, to give suggested "correct" refs. */ -void help_unknown_ref(const char *ref, const char *cmd, const char *error); +NORETURN void help_unknown_ref(const char *ref, const char *cmd, const char *error); static inline void list_config_item(struct string_list *list, const char *prefix, |