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:
authorJan-E <github@ehrhardt.nl>2015-09-06 11:15:29 +0300
committermichael-grunder <michael.grunder@gmail.com>2016-06-03 22:56:48 +0300
commitb249024ae7de8433704f26157c4be3e800a6723b (patch)
tree240c7bdd6f89eb4bf85e69ccc64b67e7b4fbc876 /config.w32
parent5b2631234779f9aa5fbfd2c4a665ca7573db88ae (diff)
Fix config,w32
The 'no' in line 3 is needed to make the extension shared on a snapshot build. The omission at line 25 was really curious.
Diffstat (limited to 'config.w32')
-rw-r--r--config.w324
1 files changed, 2 insertions, 2 deletions
diff --git a/config.w32 b/config.w32
index 254122c8..36844fa7 100644
--- a/config.w32
+++ b/config.w32
@@ -1,6 +1,6 @@
// vim: ft=javascript:
-ARG_ENABLE("redis", "whether to enable redis support", "yes");
+ARG_ENABLE("redis", "whether to enable redis support", "no");
ARG_ENABLE("redis-session", "whether to enable sessions", "yes");
ARG_ENABLE("redis-igbinary", "whether to enable igbinary serializer support", "no");
@@ -22,7 +22,7 @@ if (PHP_REDIS != "no") {
WARNING("redis igbinary support not enabled");
}
}
-
+ EXTENSION("redis", sources);
}