Fix Win32 build

diff --git a/Zend/zend_config.w32.h b/Zend/zend_config.w32.h
index 29da773d7fc7ffff27294e4458444c32e46458d2..30febab6a03c276ccfcd0657bd18a7a12f9fbee0 100644 (file)
--- a/Zend/zend_config.w32.h
+++ b/Zend/zend_config.w32.h
@@ -13,7 +13,8 @@
    | license@zend.com so we can mail you a copy immediately.              |
    +----------------------------------------------------------------------+
    | Authors: Andi Gutmans <andi@zend.com>                                |
-   |          Zeev Suraski <zeev@zend.com>                                |
+   |          Z
+   eev Suraski <zeev@zend.com>                                |
    +----------------------------------------------------------------------+
 */
 
@@ -47,6 +48,7 @@ typedef unsigned int uint;
 #define HAVE_VSNPRINTF 1
 
 #define vsnprintf _vsnprintf
+#define zend_isinf(a)  0
 
 #ifdef inline
 #undef inline

diff --git a/win32/php4dllts.dsp b/win32/php4dllts.dsp
index 2b4b44c922c89705490973fc9ab899fd2c22c79e..5d8c2f9c87c06155e85cef4e2e2d7ee2c7fb8db9 100644 (file)
--- a/win32/php4dllts.dsp
+++ b/win32/php4dllts.dsp
@@ -161,10 +161,6 @@ SOURCE=..\main\php_ini.c
 # End Source File\r
 # Begin Source File\r
 \r
-SOURCE=..\main\php_realpath.c\r
-# End Source File\r
-# Begin Source File\r
-\r
 SOURCE=..\main\php_ticks.c\r
 # End Source File\r
 # Begin Source File\r