diff options
| author | Johannes Schlüter <johannes@php.net> | 2009-06-23 18:14:27 +0000 |
|---|---|---|
| committer | Johannes Schlüter <johannes@php.net> | 2009-06-23 18:14:27 +0000 |
| commit | aded4474fc75ed8b83e58e238b5ace6656d898cf (patch) | |
| tree | 22e4f63e315303246135b9b7ece2c3fb27657cb3 /ext/spl/php_spl.h | |
| parent | 4d7e6edd635a863d3d0cbdec88e0345dd780bfe5 (diff) | |
| download | php-git-aded4474fc75ed8b83e58e238b5ace6656d898cf.tar.gz | |
MFH: Fix build problem (Kalle)
Diffstat (limited to 'ext/spl/php_spl.h')
| -rwxr-xr-x | ext/spl/php_spl.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ext/spl/php_spl.h b/ext/spl/php_spl.h index 9e30e7b01a..8412b4cbd6 100755 --- a/ext/spl/php_spl.h +++ b/ext/spl/php_spl.h @@ -21,7 +21,9 @@ #include "php.h" #if defined(PHP_WIN32) -#include "win32/php_stdint.h" +# include "win32/php_stdint.h" +#elif defined(HAVE_STDINT_H) +# include <stdint.h> #endif #include <stdarg.h> |