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:
authorNasreddine Bouafif <n.bouafif@owlient.eu>2010-04-01 20:58:02 +0400
committerNasreddine Bouafif <n.bouafif@owlient.eu>2010-04-01 20:58:02 +0400
commitf4af354475b27b4aedf465c3c6442138d87a7d3c (patch)
treea0b3ef97aea720ce1ebdf1e92fe89e78bc32ce1b /config.m4
parent5646f10e825b3ccfd5ee1398ef122ebb74279533 (diff)
re-organize code, init pipeline
Diffstat (limited to 'config.m4')
-rwxr-xr-xconfig.m42
1 files changed, 1 insertions, 1 deletions
diff --git a/config.m4 b/config.m4
index f74f5723..5253c875 100755
--- a/config.m4
+++ b/config.m4
@@ -46,5 +46,5 @@ if test "$PHP_REDIS" != "no"; then
dnl
dnl PHP_SUBST(REDIS_SHARED_LIBADD)
- PHP_NEW_EXTENSION(redis, redis.c, $ext_shared)
+ PHP_NEW_EXTENSION(redis, redis.c library.c, $ext_shared)
fi \ No newline at end of file