Win32 yieldThread(): use SwitchToThread() instead of Sleep(0)

diff --git a/rts/win32/OSThreads.c b/rts/win32/OSThreads.c
index 4103469..c9cb5d6 100644 (file)
--- a/rts/win32/OSThreads.c
+++ b/rts/win32/OSThreads.c
@@ -86,7 +86,7 @@ waitCondition ( Condition* pCond, Mutex* pMut )
 void
 yieldThread()
 {
-  Sleep(0);
+  SwitchToThread();
   return;
 }