Fix the build; none of this is actually used in THREADED_RTS or SMP,
but I haven't got around to fixing things so we can omit it from the
build completely yet.
int
awaitRequests(rtsBool wait)
{
+#ifndef THREADED_RTS
+ // none of this is actually used in the threaded RTS
+
start:
#if 0
fprintf(stderr, "awaitRequests(): %d %d %d\n", issued_reqs, completed_hw, wait);
LeaveCriticalSection(&queue_lock);
return 1;
}
+#endif /* !THREADED_RTS */
}
/*