diff options
| author | Stanislav Malyshev <stas@php.net> | 2019-03-11 01:13:50 -0700 |
|---|---|---|
| committer | Stanislav Malyshev <stas@php.net> | 2019-03-11 01:14:14 -0700 |
| commit | 4a12fb4abad611f2a4705f83842b3e833e0e100d (patch) | |
| tree | ebdcf40020a4bf6c61c523c9456a10bcd5f842bf | |
| parent | 6c4e2079c0ab06ca39d1cce69e46f94cabbf3c53 (diff) | |
| download | php-git-4a12fb4abad611f2a4705f83842b3e833e0e100d.tar.gz | |
This option doesn't exist for a long time.
| -rw-r--r-- | Zend/README.ZEND_MM | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Zend/README.ZEND_MM b/Zend/README.ZEND_MM index ff882e5d41..cfdcdaa4a1 100644 --- a/Zend/README.ZEND_MM +++ b/Zend/README.ZEND_MM @@ -7,12 +7,6 @@ General: The goal of the new memory manager (available since PHP 5.2) is to reduce memory allocation overhead and speedup memory management. -The new manager's "configure" has no "--disable-zend-memory-manager" option, -but it has "--enable-malloc-mm" instead. It is enabled by default in DEBUG -build and disabled by default in RELEASE build. When enabled it allows selecting -between malloc and emalloc at runtime so you can use internal and external memory -debuggers without recompilation. - Debugging: ---------- |