diff options
author | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-12-07 23:51:31 +0000 |
---|---|---|
committer | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-12-07 23:51:31 +0000 |
commit | 53c784f9068cee0d0b33cd93c6f439075f31dbcf (patch) | |
tree | 111a1b2982045643950b8c88dbddd118e921d199 /libstdc++-v3/docs | |
parent | 6184cd692fbc241f633ee6b11684eca1479b83b0 (diff) | |
download | gcc-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.html | 6 |
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> |