Last (?) round of small changes for 4.2.7; see new ChangeLog entries.

[xboard.git] / winboard / config.h

diff --git a/winboard/config.h b/winboard/config.h
index 807fdff..8d76073 100644 (file)
--- a/winboard/config.h
+++ b/winboard/config.h
@@ -26,7 +26,10 @@
 \r
 #define HAVE_GETTIMEOFDAY 0\r
 \r
-#define HAVE_RANDOM 0\r
+/* Use our own random() defined in winboard.c. */\r
+#define HAVE_RANDOM 1\r
+#define random myrandom\r
+#define srandom mysrandom\r
 \r
 #define HAVE_SYS_SOCKET_H 0\r
 \r
@@ -34,7 +37,7 @@
 \r
 #define LAST_PTY_LETTER 'q'\r
 \r
-#define PATCHLEVEL "6"\r
+#define PATCHLEVEL "7"\r
 \r
 #define PRODUCT "WinBoard"\r
 \r