X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.c;h=a0fa9b60c4048bbd5e7e59ce97c045ec190f8c04;hb=8778e777cf7414b29c3fda5914039d49b619daed;hp=21bc9bb0ba761bed0808c30e2c5eebd831647a4e;hpb=e3fe733c547d0f8c91c1ff5374a569477a7c1cea;p=xboard.git

diff --git a/xboard.c b/xboard.c
index 21bc9bb..a0fa9b6 100644
--- a/xboard.c
+++ b/xboard.c
@@ -8226,6 +8226,12 @@ FrameDelay (time)
 
 #endif
 
+void
+DoSleep(int n)
+{
+    FrameDelay(n);
+}
+
 /*	Convert board position to corner of screen rect and color	*/
 
 static void