diff options
| author | Zeev Suraski <zeev@php.net> | 2000-02-11 15:59:30 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2000-02-11 15:59:30 +0000 |
| commit | 80bdd19e031ca0dac2dfd4cb62ff43558d477663 (patch) | |
| tree | 539fd5059d50e32acf9b991354d48cbcecb16426 /ext/standard/microtime.c | |
| parent | 80f4886c5a71b0cdc4a3159297160e30ddd298cb (diff) | |
| download | php-git-80bdd19e031ca0dac2dfd4cb62ff43558d477663.tar.gz | |
Fine tune Andi's patch
Diffstat (limited to 'ext/standard/microtime.c')
| -rw-r--r-- | ext/standard/microtime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/standard/microtime.c b/ext/standard/microtime.c index 5b84070abb..dad5ca8d0b 100644 --- a/ext/standard/microtime.c +++ b/ext/standard/microtime.c @@ -31,7 +31,7 @@ #include <stdio.h> #ifdef HAVE_GETTIMEOFDAY -#if PHP_WIN32 +#ifdef PHP_WIN32 #include "win32/time.h" #else #include <sys/time.h> |