diff options
Diffstat (limited to 'Build/source/texk/dvipng/dvipng.h')
-rw-r--r-- | Build/source/texk/dvipng/dvipng.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/dvipng/dvipng.h b/Build/source/texk/dvipng/dvipng.h index da61b39ad53..40660433a70 100644 --- a/Build/source/texk/dvipng/dvipng.h +++ b/Build/source/texk/dvipng/dvipng.h @@ -478,11 +478,11 @@ EXTERN unsigned int debug INIT(0); /************************timing stuff*********************/ #ifdef TIMING -#if TIME_WITH_SYS_TIME +#ifdef TIME_WITH_SYS_TIME # include <sys/time.h> # include <time.h> #else -# if HAVE_SYS_TIME_H +# ifdef HAVE_SYS_TIME_H # include <sys/time.h> # else # include <time.h> |