| /* |
| * Header file: time.h |
| * |
| * Description: |
| * This header file is the autoconf replacement for time.h (if it lives |
| * on the system). |
| * |
| * The added benefit of this header file is that it removes the |
| * "time with sys/time" problem. |
| * |
| * According to the autoconf manual, some systems have a sys/time.h that |
| * includes time.h, but time.h is not written to handle multiple |
| * inclusion. This means that a program including sys/time.h cannot |
| * also include time.h. |
| * |
| * This header file fixes that problem. |
| */ |
| |
| #ifndef _CONFIG_TIME_H |
| #define _CONFIG_TIME_H |
| |
| #include "Config/config.h" |
| |
| #ifdef HAVE_TIME_H |
| #include <time.h> |
| #endif |
| |
| #endif |