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:
authormichael-grunder <michael.grunder@gmail.com>2015-05-08 02:30:11 +0300
committermichael-grunder <michael.grunder@gmail.com>2015-05-08 02:30:11 +0300
commitfb0597992aef850845de53e1073028bcdd38dd12 (patch)
tree6d4fc4cd67ddb45f8fe9c723648f56c469f75bcc /config.w32
parentab8fa7dad768f6d955f19298e334a65209a25ff5 (diff)
Merge remote
Diffstat (limited to 'config.w32')
-rw-r--r--config.w322
1 files changed, 1 insertions, 1 deletions
diff --git a/config.w32 b/config.w32
index 9c574ccf..254122c8 100644
--- a/config.w32
+++ b/config.w32
@@ -5,7 +5,7 @@ ARG_ENABLE("redis-session", "whether to enable sessions", "yes");
ARG_ENABLE("redis-igbinary", "whether to enable igbinary serializer support", "no");
if (PHP_REDIS != "no") {
- var sources = "redis.c library.c redis_array.c redis_array_impl.c";
+ var sources = "redis.c library.c redis_array.c redis_array_impl.c redis_cluster.c cluster_library.c";
if (PHP_REDIS_SESSION != "no") {
ADD_SOURCES(configure_module_dirname, "redis_session.c", "redis");
ADD_EXTENSION_DEP("redis", "session");