diff options
author | Derick Rethans <derick@php.net> | 2005-10-06 13:03:31 +0000 |
---|---|---|
committer | Derick Rethans <derick@php.net> | 2005-10-06 13:03:31 +0000 |
commit | 61eae75ec3365a4e06085c5d6762a61f72c51a33 (patch) | |
tree | 45f85bb0da5c531d3c9efba28f57e14c906c649b /ext/wddx | |
parent | d376ba48ea56c309f125964fd74bed16b34c736f (diff) | |
download | php-git-61eae75ec3365a4e06085c5d6762a61f72c51a33.tar.gz |
- Fixed Windows build (patch by Mike)
Diffstat (limited to 'ext/wddx')
-rw-r--r-- | ext/wddx/config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/wddx/config.w32 b/ext/wddx/config.w32 index d88523ca36..7b8483d0aa 100644 --- a/ext/wddx/config.w32 +++ b/ext/wddx/config.w32 @@ -7,6 +7,7 @@ if (PHP_WDDX == "yes" && PHP_LIBXML == "yes") { EXTENSION("wddx", "wddx.c"); AC_DEFINE("HAVE_WDDX", 1, "WDDX support"); ADD_EXTENSION_DEP('wddx', 'libxml'); + CHECK_HEADER_ADD_INCLUDE("timelib_config.h", "CFLAGS_WDDX", "ext/date/lib"); } |