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 20f29bd281..1c642ce882 100644 --- a/ext/tidy/config.w32 +++ b/ext/tidy/config.w32 @@ -5,7 +5,7 @@ ARG_WITH("tidy", "TIDY support", "no"); if (PHP_TIDY != "no") { var tidy_static = false; - if (CHECK_LIB("libtidy_a.lib;tidy_a.lib", "tidy", PHP_TIDY) && (tidy_static = true) || + if ((CHECK_LIB("libtidy_a.lib;tidy_a.lib", "tidy", PHP_TIDY) && (tidy_static = true) || CHECK_LIB("libtidy.lib;tidy.lib", "tidy", PHP_TIDY)) && ( CHECK_HEADER_ADD_INCLUDE("tidy.h", "CFLAGS_TIDY") || |