# HG changeset patch
# User jwe
# Date 809073563 0
# Node ID 8fcbc533d9e230bd30268f6411c15b708a2ffa01
# Parent  88d41e3204d507451a143de75dd2221f56c3fc4e
[project @ 1995-08-22 06:39:23 by jwe]
Initial revision

diff --git a/config.h.bot b/config.h.bot
new file mode 100644
--- /dev/null
+++ b/config.h.bot
@@ -0,0 +1,6 @@
+
+#if defined (__GNUC__)
+#define UNUSED __attribute__ ((__unused__))
+#else
+#define UNUSED
+#endif