*push*

diff --git a/main.h b/main.h
index f3567691bd90f81b6a7e07be75e064f0a0f4fbdc..a3a6840cc58949479f456db90c70d85cb2784400 100644 (file)
--- a/main.h
+++ b/main.h
@@ -12,6 +12,15 @@
 #include <unistd.h>
 #include <netdb.h>
 
+#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