diff options
Diffstat (limited to 'ext/tidy/config.w32')
| -rw-r--r-- | ext/tidy/config.w32 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ext/tidy/config.w32 b/ext/tidy/config.w32 index 0f47864fa2..e9e2a225f7 100644 --- a/ext/tidy/config.w32 +++ b/ext/tidy/config.w32 @@ -12,6 +12,9 @@ if (PHP_TIDY != "no") { )) { EXTENSION("tidy", "tidy.c"); AC_DEFINE('HAVE_TIDY', 1, 'Have TIDY library'); + if (!PHP_TIDY_SHARED) { + ADD_DEF_FILE("ext\\tidy\\php_tidy.def"); + } } else { WARNING("tidy not enabled; libraries and headers not found"); } |