Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Favre-Felix <n.favrefelix@gmail.com>2010-12-02 18:32:33 +0300
committerNicolas Favre-Felix <n.favrefelix@gmail.com>2010-12-02 18:32:33 +0300
commit4963a9aa2b67c9891378e4fb1c8a99ee33963ac1 (patch)
tree478541ce07d523c5464361876f55d6e5025d1e3b /config.m4
parentbfdc1eddfa44b39a1e16eb5250265990881f2022 (diff)
New feature: PHP session handler.
Diffstat (limited to 'config.m4')
-rwxr-xr-xconfig.m44
1 files changed, 2 insertions, 2 deletions
diff --git a/config.m4 b/config.m4
index 5253c875..ef464aa5 100755
--- a/config.m4
+++ b/config.m4
@@ -46,5 +46,5 @@ if test "$PHP_REDIS" != "no"; then
dnl
dnl PHP_SUBST(REDIS_SHARED_LIBADD)
- PHP_NEW_EXTENSION(redis, redis.c library.c, $ext_shared)
-fi \ No newline at end of file
+ PHP_NEW_EXTENSION(redis, redis.c library.c redis_session.c, $ext_shared)
+fi