From: Ben Wijen <ben@wijen.net>
Date: Wed, 30 Oct 2019 06:33:39 +0000 (+0100)
Subject: * src/misc.c (spin): On WINDOWS32 use Sleep() instead of sleep()
X-Git-Tag: 4.2.93~10
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=30cc10093b4b17d6a823fa7cc96cd937115af9fb;p=thirdparty%2Fmake.git

* src/misc.c (spin): On WINDOWS32 use Sleep() instead of sleep()
---

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);
     }
 }