diff options
author | Rasmus Lerdorf <rasmus@php.net> | 1999-07-24 02:43:22 +0000 |
---|---|---|
committer | Rasmus Lerdorf <rasmus@php.net> | 1999-07-24 02:43:22 +0000 |
commit | d9f6ea2fc361b99fc2484f36869f4fc6978002a2 (patch) | |
tree | 1bf06074ef7ea1fdc78428b83cf6f000e2c96eed | |
parent | 8de073782c03c361c507129733227f3c3315d214 (diff) | |
download | php-git-d9f6ea2fc361b99fc2484f36869f4fc6978002a2.tar.gz |
Fix broken build
-rw-r--r-- | ext/standard/datetime.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ext/standard/datetime.c b/ext/standard/datetime.c index ed8eef6cfe..11cd604e9b 100644 --- a/ext/standard/datetime.c +++ b/ext/standard/datetime.c @@ -29,6 +29,9 @@ #include "php_globals.h" #include <time.h> +#ifdef HAVE_SYS_TIME_H +# include <sys/time.h> +#endif #include <stdio.h> char *mon_full_names[] = |