[sudo-commits] sudo changeset 12491:8b0f8828c019

[Todd C. Miller]

changeset:	12491:8b0f8828c019 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/8b0f8828c019
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Sat Feb 08 12:17:33 2020 -0700

Log Message:
	Mark main sudo usage() function __noreturn__.
	This splits the usage printing out into display_usage().

diffstat:

 src/parse_args.c |  80 ++++++++++++++++++++++++++++++-------------------------
 src/sudo.h       |   2 +-
 2 files changed, 45 insertions(+), 37 deletions(-)