summaryrefslogtreecommitdiff
path: root/libstdc++-v3/docs
diff options
context:
space:
mode:
authorpaolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>2005-12-07 23:51:31 +0000
committerpaolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>2005-12-07 23:51:31 +0000
commit53c784f9068cee0d0b33cd93c6f439075f31dbcf (patch)
tree111a1b2982045643950b8c88dbddd118e921d199 /libstdc++-v3/docs
parent6184cd692fbc241f633ee6b11684eca1479b83b0 (diff)
downloadgcc-53c784f9068cee0d0b33cd93c6f439075f31dbcf.tar.gz
2005-12-07 Paolo Carlini <pcarlini@suse.de>
* docs/html/configopts.html ([--enable-libstdcxx-allocator]): Mention the SGI pooled allocator. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108197 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/docs')
-rw-r--r--libstdc++-v3/docs/html/configopts.html6
1 files changed, 3 insertions, 3 deletions
diff --git a/libstdc++-v3/docs/html/configopts.html b/libstdc++-v3/docs/html/configopts.html
index 80ff219a974..b396a2d1822 100644
--- a/libstdc++-v3/docs/html/configopts.html
+++ b/libstdc++-v3/docs/html/configopts.html
@@ -136,9 +136,9 @@ options</a></h1>
<dd><p>Select a target-specific underlying std::allocator. The
choices are 'new' to specify a wrapper for new, 'malloc' to
specify a wrapper for malloc, 'mt' for a fixed power of two allocator
- (<a href="ext/mt_allocator.html">documented</a> under extensions) or
- 'bitmap' for a bitmap allocator. This option can change the
- library ABI.
+ (<a href="ext/mt_allocator.html">documented</a> under extensions),
+ 'pool' for the SGI pooled allocator or 'bitmap' for a bitmap allocator.
+ This option can change the library ABI.
</p>
</dd>