X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=winboard%2Fconfig.h;h=8d76073945b6413347ca70db49063451365e73cc;hb=056614196635a4730170261fe0e638191f14c620;hp=391b0aadca04f533d68ec090fff34d1db5ce4d51;hpb=b8ccc2d03263c833777a7c055a372501b40bc7ce;p=xboard.git

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