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:
authorAnatol Belski <ab@php.net>2014-07-01 14:19:01 +0400
committerAnatol Belski <ab@php.net>2014-07-01 14:19:01 +0400
commit6c377eee18a5a36df71da2498eddbc0cd4f1ba76 (patch)
tree93a190563bb9afeece8f6fcd32fb796539d56771 /config.w32
parent0303e1594b4207ed96a63291ea6b2075af0e6c16 (diff)
added redis array stuff to win part done some fixes to it
Diffstat (limited to 'config.w32')
-rw-r--r--config.w322
1 files changed, 1 insertions, 1 deletions
diff --git a/config.w32 b/config.w32
index 9600f68e..b8f99d32 100644
--- a/config.w32
+++ b/config.w32
@@ -5,7 +5,7 @@ ARG_ENABLE("redis-session", "whether to enable sessions", "yes");
ARG_ENABLE("redis-igbinary", "whether to enable igbinary support", "no");
if (PHP_REDIS != "no") {
- var sources = "redis.c library.c"
+ var sources = "redis.c library.c redis_array.c redis_array_impl.c"
if (PHP_REDIS_IGBINARY != "no") {
sources += " igbinary\\igbinary.c igbinary\\hash_si.c igbinary\\hash_function.c";