From 0504641e249b1e88e7860804f1fdf23edda77d49 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 1 Mar 2004 13:34:54 +0000 Subject: [PATCH] [project @ 2004-03-01 13:34:54 by simonmar] Warning police, and omit a useless debugging msg in !RTS_SUPPORTS_THREADS. --- ghc/rts/Capability.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/ghc/rts/Capability.c b/ghc/rts/Capability.c index c99cf05..3ea96fe 100644 --- a/ghc/rts/Capability.c +++ b/ghc/rts/Capability.c @@ -137,6 +137,9 @@ static Capability *returning_capabilities; threaded RTS, clients must use waitFor*Capability()). ------------------------------------------------------------------------- */ +#if defined(RTS_SUPPORTS_THREADS) +static +#endif void grabCapability( Capability** cap ) { @@ -152,7 +155,9 @@ grabCapability( Capability** cap ) free_capabilities = (*cap)->link; rts_n_free_capabilities--; #endif +#if defined(RTS_SUPPORTS_THREADS) IF_DEBUG(scheduler, sched_belch("worker: got capability")); +#endif } /* ---------------------------------------------------------------------------- -- 1.7.10.4