From 30cc10093b4b17d6a823fa7cc96cd937115af9fb Mon Sep 17 00:00:00 2001
From: Ben Wijen <ben@wijen.net>
Date: Wed, 30 Oct 2019 07:33:39 +0100
Subject: [PATCH] * src/misc.c (spin): On WINDOWS32 use Sleep() instead of
 sleep()

---
 src/misc.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/misc.c b/src/misc.c
index 2b7cc12a..9ed555ba 100644
--- a/src/misc.c
+++ b/src/misc.c
@@ -24,6 +24,7 @@ this program.  If not, see <http://www.gnu.org/licenses/>.  */
 #include <stdarg.h>
 
 #ifdef WINDOWS32
+# include <windows.h>
 # include <io.h>
 #endif
 
@@ -431,7 +432,8 @@ free_ns_chain (struct nameseq *ns)
 
 #ifdef MAKE_MAINTAINER_MODE
 
-void spin(const char* type)
+void
+spin (const char* type)
 {
   char filenm[256];
   struct stat dummy;
@@ -442,7 +444,11 @@ void spin(const char* type)
     {
       fprintf (stderr, "SPIN on %s\n", filenm);
       do
+#ifdef WINDOWS32
+        Sleep (1000);
+#else
         sleep (1);
+#endif
       while (stat (filenm, &dummy) == 0);
     }
 }
-- 
2.47.3