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:
authorRemi Collet <remi@remirepo.net>2020-07-02 19:52:54 +0300
committerGitHub <noreply@github.com>2020-07-02 19:52:54 +0300
commit83a1b7c5e225abd94cd3459c52bf7d502dfb0979 (patch)
treec0b8a3a582b8606120440e9aad4bad2536b9ad1a /config.m4
parent08f202e775037ccf849d7b933dddb467c9c2ee5f (diff)
fix configure message (#1803)
Diffstat (limited to 'config.m4')
-rw-r--r--config.m44
1 files changed, 2 insertions, 2 deletions
diff --git a/config.m4 b/config.m4
index 655557ed..5ffd49d2 100644
--- a/config.m4
+++ b/config.m4
@@ -5,10 +5,10 @@ PHP_ARG_ENABLE(redis, whether to enable redis support,
dnl Make sure that the comment is aligned:
[ --enable-redis Enable redis support])
-PHP_ARG_ENABLE(redis-session, whether to disable sessions,
+PHP_ARG_ENABLE(redis-session, whether to enable sessions,
[ --disable-redis-session Disable session support], yes, no)
-PHP_ARG_ENABLE(redis-json, whether to disable json serializer support,
+PHP_ARG_ENABLE(redis-json, whether to enable json serializer support,
[ --disable-redis-json Disable json serializer support], yes, no)
PHP_ARG_ENABLE(redis-igbinary, whether to enable igbinary serializer support,