diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2007-09-26 09:07:31 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2007-09-26 09:07:31 +0000 |
| commit | 5b57534ce7c479b049068bd779eab20bb3eec2db (patch) | |
| tree | a17f49ac69bbc9307e15450bb78a2a23b6805267 | |
| parent | 727a2d90ee9fae3a9186c03a0049bdd990cae78e (diff) | |
mark usage() as no return
| -rw-r--r-- | src/_usage.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/_usage.c b/src/_usage.c index 141a15a0..be757dff 100644 --- a/src/_usage.c +++ b/src/_usage.c @@ -7,6 +7,7 @@ * Released under the GPLv2 */ +__attribute__ ((__noreturn__)) static void usage (int exit_status) { const char * const has_arg[] = { "", "<arg>", "[arg]" }; |