mirror of
https://github.com/php/php-src.git
synced 2024-09-22 10:27:25 +00:00
* enable overload extension by default
This commit is contained in:
parent
9b81440b76
commit
70ea4df4af
@ -3,7 +3,7 @@ dnl $Id$
|
|||||||
dnl
|
dnl
|
||||||
|
|
||||||
PHP_ARG_ENABLE(overload,whether to enable user-space object overloading support,
|
PHP_ARG_ENABLE(overload,whether to enable user-space object overloading support,
|
||||||
[ --enable-overload Enable user-space object overloading support.])
|
[ --disable-overload Disable user-space object overloading support.])
|
||||||
|
|
||||||
if test "$PHP_OVERLOAD" != "no"; then
|
if test "$PHP_OVERLOAD" != "no"; then
|
||||||
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
|
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
|
||||||
|
Loading…
Reference in New Issue
Block a user