configopts.html ([--enable-libstdcxx-allocator]): Mention the SGI pooled allocator.

2005-12-07  Paolo Carlini  <pcarlini@suse.de>

	* docs/html/configopts.html ([--enable-libstdcxx-allocator]):
	Mention the SGI pooled allocator.

From-SVN: r108197
This commit is contained in:
Paolo Carlini 2005-12-07 23:51:31 +00:00 committed by Paolo Carlini
parent 1fd5360d19
commit 638004ccd7
2 changed files with 8 additions and 3 deletions

View File

@ -1,3 +1,8 @@
2005-12-07 Paolo Carlini <pcarlini@suse.de>
* docs/html/configopts.html ([--enable-libstdcxx-allocator]):
Mention the SGI pooled allocator.
2005-12-06 Paolo Carlini <pcarlini@suse.de>
* include/bits/basic_string.h (insert(iterator, _CharT),

View File

@ -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>