diff options
| -rw-r--r-- | ext/tidy/config.w32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/tidy/config.w32 b/ext/tidy/config.w32 index e9e2a225f7..41f217588d 100644 --- 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) || |