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-13 00:56:50 +0300
committerNicolas Favre-Felix <n.favrefelix@gmail.com>2010-12-13 00:56:50 +0300
commitad4d302a438c51614645fc13f0f173a14beca4b1 (patch)
treea5f19faf3635d0758955204185f67e6ce416ed74 /config.m4
parent40780e0fe3393978113658d434599352c612c0ce (diff)
Added igbinary.
Diffstat (limited to 'config.m4')
-rwxr-xr-xconfig.m42
1 files changed, 1 insertions, 1 deletions
diff --git a/config.m4 b/config.m4
index ef464aa5..d4391cbf 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 redis_session.c, $ext_shared)
+ PHP_NEW_EXTENSION(redis, redis.c library.c redis_session.c igbinary/igbinary.c igbinary/hash_si.c igbinary/hash_function.c, $ext_shared)
fi