diff options
Diffstat (limited to 'ext/tidy/config.w32')
-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 f5db084129..d12302ac5e 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") { 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") || |