- first static lib then dyn or old one

diff --git a/ext/tidy/config.w32 b/ext/tidy/config.w32
index e9e2a225f7ddcca89a549ae5258846525a280fe4..41f217588d126afd4f7f45f734c8d4605af4300c 100644 (file)
--- a/ext/tidy/config.w32
+++ b/ext/tidy/config.w32
@@ -4,7 +4,7 @@
 ARG_WITH("tidy", "TIDY support", "no");
 
 if (PHP_TIDY != "no") {
-       if (CHECK_LIB("libtidy.lib", "tidy", PHP_TIDY) &&
+       if (CHECK_LIB("libtidy_a.lib;libtidy.lib", "tidy", PHP_TIDY) &&
                        (
                                CHECK_HEADER_ADD_INCLUDE("tidy.h", "CFLAGS_TIDY") ||
                                CHECK_HEADER_ADD_INCLUDE("tidy/tidy.h", "CFLAGS_TIDY", null, null, true) ||