diff options
author | Felipe Pena <felipe@php.net> | 2010-11-02 20:51:02 +0000 |
---|---|---|
committer | Felipe Pena <felipe@php.net> | 2010-11-02 20:51:02 +0000 |
commit | f11535e2eee07e515066774eb166ddec73da91b3 (patch) | |
tree | cbdb414742753562396ccde14166d51900a68e58 | |
parent | 477b8a6664f7e5200cf8d5ae4f6733f6893e3d73 (diff) | |
download | php-git-f11535e2eee07e515066774eb166ddec73da91b3.tar.gz |
- Fixed config.m4 to complete the fix for bug #53141 (thanks Johannes)
-rw-r--r-- | ext/session/config.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/session/config.m4 b/ext/session/config.m4 index f9222f0858..d65e872a3a 100644 --- a/ext/session/config.m4 +++ b/ext/session/config.m4 @@ -13,6 +13,7 @@ if test "$PHP_SESSION" != "no"; then PHP_PREAD_TEST PHP_NEW_EXTENSION(session, session.c mod_files.c mod_mm.c mod_user.c, $ext_shared) PHP_ADD_EXTENSION_DEP(session, hash, true) + PHP_ADD_EXTENSION_DEP(session, spl) PHP_SUBST(SESSION_SHARED_LIBADD) PHP_INSTALL_HEADERS(ext/session, [php_session.h mod_files.h mod_user.h]) AC_DEFINE(HAVE_PHP_SESSION,1,[ ]) |