diff options
author | Jan-E <github@ehrhardt.nl> | 2015-09-06 11:15:29 +0300 |
---|---|---|
committer | michael-grunder <michael.grunder@gmail.com> | 2016-06-03 22:56:48 +0300 |
commit | b249024ae7de8433704f26157c4be3e800a6723b (patch) | |
tree | 240c7bdd6f89eb4bf85e69ccc64b67e7b4fbc876 /config.w32 | |
parent | 5b2631234779f9aa5fbfd2c4a665ca7573db88ae (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.w32 | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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);
}
|