[project @ 2005-10-24 09:37:08 by simonmar]

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.

diff --git a/ghc/rts/win32/AsyncIO.c b/ghc/rts/win32/AsyncIO.c
index acb40eb..12893f3 100644 (file)
--- a/ghc/rts/win32/AsyncIO.c
+++ b/ghc/rts/win32/AsyncIO.c
@@ -196,6 +196,9 @@ shutdownAsyncIO()
 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);
@@ -306,6 +309,7 @@ start:
        LeaveCriticalSection(&queue_lock);
        return 1;
     }
+#endif /* !THREADED_RTS */
 }
 
 /*