diff options
author | Roy Marples <roy@marples.name> | 2008-01-22 11:07:39 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2008-01-22 11:07:39 +0000 |
commit | 649a71055294e9fa275ebb406361cf46c843cade (patch) | |
tree | 273005e044ce31f28f187b4abbabf78f35b53d1b /src/rc/_usage.c | |
parent | b4bff9ce5efce83a7265a42d4372d367ca32f696 (diff) |
Quiet some more lint warnings.
Diffstat (limited to 'src/rc/_usage.c')
-rw-r--r-- | src/rc/_usage.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/rc/_usage.c b/src/rc/_usage.c index 57cdb9a4..0e39271d 100644 --- a/src/rc/_usage.c +++ b/src/rc/_usage.c @@ -24,8 +24,14 @@ * SUCH DAMAGE. */ -__attribute__ ((__noreturn__)) -static void usage (int exit_status) +#if lint +# define _noreturn +#endif +#if __GNUC__ > 2 || defined(__INTEL_COMPILER) +# define _noreturn __attribute__ ((__noreturn__)) +#endif + +_noreturn static void usage (int exit_status) { const char * const has_arg[] = { "", "<arg>", "[arg]" }; int i; |