diff options
author | Paul Smith <psmith@gnu.org> | 2000-06-07 05:43:37 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2000-06-07 05:43:37 +0000 |
commit | 4a5550c8225d762f684d4047e20cc45274b6a785 (patch) | |
tree | 943515aca19373ad0fe0dce0cb852c2eca7b0cab /make.h | |
parent | e5c40f6e5ad9d485f7caada51e2361758baa67dd (diff) |
* Lots of bug fixes and cleanup; new i18n files, etc.
Diffstat (limited to 'make.h')
-rw-r--r-- | make.h | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -72,7 +72,18 @@ Boston, MA 02111-1307, USA. */ <sys/timeb.h>? If any does not, configure should check for it. */ # include <sys/timeb.h> #endif -#include <time.h> + +#if TIME_WITH_SYS_TIME +# include <sys/time.h> +# include <time.h> +#else +# if HAVE_SYS_TIME_H +# include <sys/time.h> +# else +# include <time.h> +# endif +#endif + #include <errno.h> #ifndef errno |