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:
authorPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2019-12-18 15:00:45 +0300
committerMichael Grunder <michael.grunder@gmail.com>2020-02-07 01:14:46 +0300
commitc94e28f1ebabdfceb722ad78eff75ce4fc57f5a3 (patch)
tree39ff8750ed2cf4d1930f98979681a674e90b1e21 /config.m4
parentb1724b84828eac58c4d3e29b190bd49dc55c209a (diff)
Add RedisSentinel class and tests
Diffstat (limited to 'config.m4')
-rw-r--r--config.m42
1 files changed, 1 insertions, 1 deletions
diff --git a/config.m4 b/config.m4
index bc4dd40d..58b2bce8 100644
--- a/config.m4
+++ b/config.m4
@@ -267,5 +267,5 @@ if test "$PHP_REDIS" != "no"; then
dnl
dnl PHP_SUBST(REDIS_SHARED_LIBADD)
- PHP_NEW_EXTENSION(redis, redis.c redis_commands.c library.c redis_session.c redis_array.c redis_array_impl.c redis_cluster.c cluster_library.c $lzf_sources, $ext_shared)
+ PHP_NEW_EXTENSION(redis, redis.c redis_commands.c library.c redis_session.c redis_array.c redis_array_impl.c redis_cluster.c cluster_library.c redis_sentinel.c sentinel_library.c $lzf_sources, $ext_shared)
fi