diff options
| -rw-r--r-- | libstdc++-v3/ChangeLog | 5 | ||||
| -rw-r--r-- | libstdc++-v3/docs/html/configopts.html | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 223bdd8..7b5b659 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -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), diff --git a/libstdc++-v3/docs/html/configopts.html b/libstdc++-v3/docs/html/configopts.html index 80ff219..b396a2d 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> |