diff options
| author | Pierre Joye <pajoye@php.net> | 2008-08-01 11:21:27 +0000 |
|---|---|---|
| committer | Pierre Joye <pajoye@php.net> | 2008-08-01 11:21:27 +0000 |
| commit | 839bd439b0973340a787befb496a41d338cefcc8 (patch) | |
| tree | 8bf2115bd773dcd90c7442f5cf544629dea8aaca | |
| parent | 1ddbfe44c89fc6809208e4b27448cba9d1b7702b (diff) | |
| download | php-git-839bd439b0973340a787befb496a41d338cefcc8.tar.gz | |
- first static lib then dyn or old one
| -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) || |