mirror of
https://github.com/php/php-src.git
synced 2024-11-25 19:05:31 +08:00
Enable it for real.
This commit is contained in:
parent
70ea4df4af
commit
1066633281
@ -3,7 +3,7 @@ dnl $Id$
|
||||
dnl
|
||||
|
||||
PHP_ARG_ENABLE(overload,whether to enable user-space object overloading support,
|
||||
[ --disable-overload Disable user-space object overloading support.])
|
||||
[ --disable-overload Disable user-space object overloading support.], yes)
|
||||
|
||||
if test "$PHP_OVERLOAD" != "no"; then
|
||||
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
|
||||
|
Loading…
Reference in New Issue
Block a user