# HG changeset patch
# User jwe
# Date 809074814 0
# Node ID 019ab630c727c8f30dbe392f650768d7a2095abd
# Parent  d29df210dcde2f9b2b38bdc65541dc262b06d8d6
[project @ 1995-08-22 07:00:14 by jwe]

diff --git a/config.h.bot b/config.h.bot
--- a/config.h.bot
+++ b/config.h.bot
@@ -1,6 +1,6 @@
 
 #if defined (__GNUC__)
-#define UNUSED __attribute__ ((__unused__))
+#define UNUSED
 #else
 #define UNUSED
 #endif