From 024b922953fe59a244ddeb1bf4ee05873ceffbbf Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 24 Oct 2005 09:37:08 +0000 Subject: [PATCH] [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. --- ghc/rts/win32/AsyncIO.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ghc/rts/win32/AsyncIO.c b/ghc/rts/win32/AsyncIO.c index acb40eb..12893f3 100644 --- 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 */ } /* -- 1.7.10.4