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>2011-08-19 16:18:59 +0400
committerNicolas Favre-Felix <n.favrefelix@gmail.com>2011-08-19 16:18:59 +0400
commit3564d8fb2f0ee8a092ed2d0118854b63f2d20f9b (patch)
tree31994539f2e9b24d158b3e82e9af9d1196bf1385 /config.m4
parent4fc2387b311f7a0bf2bce4ee3fb8203b7fdfbdb6 (diff)
Refactoring
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 0a6f8adb..51a1cad8 100755
--- a/config.m4
+++ b/config.m4
@@ -55,5 +55,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 redis_array.c igbinary/igbinary.c igbinary/hash_si.c igbinary/hash_function.c, $ext_shared)
+ PHP_NEW_EXTENSION(redis, redis.c library.c redis_session.c redis_array.c redis_array_impl.c igbinary/igbinary.c igbinary/hash_si.c igbinary/hash_function.c, $ext_shared)
fi