#include "Rts.h"
#if defined(THREADED_RTS)
-#include "OSThreads.h"
#include "RtsUtils.h"
#include <windows.h>
void
yieldThread()
{
- Sleep(0);
+ SwitchToThread();
return;
}
shutdownThread()
{
_endthreadex(0);
+ barf("_endthreadex returned"); // avoid gcc warning
}
int