diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-09-30 13:19:27 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-09-30 13:19:27 +0900 |
| commit | 8e111e487bbb939406655619e7ed241bd263d85c (patch) | |
| tree | c54ee7a093f5bfb8ff582b232392ae126b8d2a96 /help.h | |
| parent | 3ff6af7753287f2cac8261ae5184c3381373b836 (diff) | |
| parent | 80e3658647561c4a8587978747752f6f63a96717 (diff) | |
Merge branch 'rs/help-unknown-ref-does-not-return'
Code cleanup.
* rs/help-unknown-ref-does-not-return:
help: make help_unknown_ref() NORETURN
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, |