From e65d8d790e5ab72f5819e38929eadd62cae8f0ee Mon Sep 17 00:00:00 2001 From: pk910 Date: Wed, 10 Aug 2011 01:41:46 +0200 Subject: [PATCH] *push* --- main.h | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/main.h b/main.h index f356769..a3a6840 100644 --- a/main.h +++ b/main.h @@ -12,6 +12,15 @@ #include #include +#if __GNUC__ >= 2 +#define UNUSED_ARG(ARG) ARG __attribute__((unused)) +#elif defined(S_SPLINT_S) +#define UNUSED_ARG(ARG) /*@unused@*/ ARG +#define const /*@observer@*/ /*@temp@*/ +#else +#define UNUSED_ARG(ARG) ARG +#endif + #define NICKLEN 30 #define USERLEN 10 -- 2.20.1