mark usage() as noreturn

2009-08-20 20:13:41 -07:00
parent 3021868ebb
commit 4621ffd93c
1 changed files with 3 additions and 0 deletions
--- a/kuser/kswitch.c
+++ b/kuser/kswitch.c
@@ -55,6 +55,9 @@ static struct getargs args[] = {
    { "help",			0,   arg_flag, &help_flag, NULL, NULL}
 };

+static void
+usage (int ret) __attribute__((noreturn));
+
 static void
 usage (int ret)
 {