]> granicus.if.org Git - php/commitdiff
This option doesn't exist for a long time.
authorStanislav Malyshev <stas@php.net>
Mon, 11 Mar 2019 08:13:50 +0000 (01:13 -0700)
committerStanislav Malyshev <stas@php.net>
Mon, 11 Mar 2019 08:14:14 +0000 (01:14 -0700)
Zend/README.ZEND_MM

index ff882e5d416b079b233873b997293970a767ba7e..cfdcdaa4a185d98c522e9bacd13f5f6c85666943 100644 (file)
@@ -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:
 ----------