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:
authormi-nakano <mizuki590@gmail.com>2020-05-21 16:07:48 +0300
committermi-nakano <mizuki590@gmail.com>2020-05-21 16:14:00 +0300
commit20a3dc7251cb0bf450ef2a1cfeeeaeaa10355cd2 (patch)
tree738671934845d36a563c9d713db2af17fd65e892 /config.m4
parente80600e244b8442cb7c86e99b067966cd59bf2ee (diff)
bugfix: PHP_REDIS_JSON parameter at configure
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 58b2bce8..2bd148d1 100644
--- a/config.m4
+++ b/config.m4
@@ -35,7 +35,7 @@ if test "$PHP_REDIS" != "no"; then
AC_DEFINE(PHP_SESSION,1,[redis sessions])
fi
- if test "PHP_REDIS_JSON" != "no"; then
+ if test "$PHP_REDIS_JSON" != "no"; then
AC_MSG_CHECKING([for json includes])
json_inc_path=""
if test -f "$abs_srcdir/include/php/ext/json/php_json.h"; then