diff options
| -rw-r--r-- | includes/rts/Threads.h | 3 | ||||
| -rw-r--r-- | rts/Capability.h | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/includes/rts/Threads.h b/includes/rts/Threads.h index 60d9bc45a1..2ebc542d05 100644 --- a/includes/rts/Threads.h +++ b/includes/rts/Threads.h @@ -57,6 +57,9 @@ HsBool rtsSupportsBoundThreads (void); // The number of Capabilities extern unsigned int n_capabilities; +// The number of Capabilities that are not disabled +extern nat enabled_capabilities; + #if !IN_STG_CODE extern Capability MainCapability; #endif diff --git a/rts/Capability.h b/rts/Capability.h index 1b3c06f5d3..3348f88e4d 100644 --- a/rts/Capability.h +++ b/rts/Capability.h @@ -207,8 +207,7 @@ INLINE_HEADER void releaseCapability_ (Capability* cap STG_UNUSED, // declared in includes/rts/Threads.h: // extern nat n_capabilities; - -extern nat enabled_capabilities; +// extern nat enabled_capabilities; // Array of all the capabilities // |