Mark main sudo usage() function __noreturn__.

This splits the usage printing out into display_usage().
This commit is contained in:
Todd C. Miller
2020-02-08 12:17:33 -07:00
parent c92f39ed3d
commit c5afbf00fc
3 changed files with 50 additions and 42 deletions

View File

@@ -233,7 +233,7 @@ extern int sudo_debug_instance;
int sudo_edit(struct command_details *details);
/* parse_args.c */
void usage(int);
void usage(void) __attribute__((__noreturn__));
/* openbsd.c */
int os_init_openbsd(int argc, char *argv[], char *envp[]);