cleanup config.w32

weltling · weltling · commit e223916eb459 · 2014-07-04T10:05:54.000+02:00
diff --git a/config.w32 b/config.w32
@@ -23,12 +23,6 @@ if (PHP_REDIS != "no") {
 		}
 	}
 
-	if (PHP_REDIS_IGBINARY != "no") {
-		CHECK_HEADER_ADD_INCLUDE("igbinary.h", "CFLAGS_REDIS", "ext\\igbinary");
-		AC_DEFINE('HAVE_REDIS_IGBINARY', 1);
-		ADD_EXTENSION_DEP('redis', 'igbinary');
-	}
-
 	EXTENSION("redis", sources);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -23,12 +23,6 @@ if (PHP_REDIS != "no") {`
`23`	`23`	`}`
`24`	`24`	`}`
`25`	`25`
`26`		`- if (PHP_REDIS_IGBINARY != "no") {`
`27`		`- CHECK_HEADER_ADD_INCLUDE("igbinary.h", "CFLAGS_REDIS", "ext\\igbinary");`
`28`		`- AC_DEFINE('HAVE_REDIS_IGBINARY', 1);`
`29`		`- ADD_EXTENSION_DEP('redis', 'igbinary');`
`30`		`- }`
`31`		`-`
`32`	`26`	`EXTENSION("redis", sources);`
`33`	`27`	`}`
`34`	`28`