diff options
Diffstat (limited to 'Build/source/texk/web2c/configure.ac')
-rw-r--r-- | Build/source/texk/web2c/configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/configure.ac b/Build/source/texk/web2c/configure.ac index c081fa1657b..7522d2acb16 100644 --- a/Build/source/texk/web2c/configure.ac +++ b/Build/source/texk/web2c/configure.ac @@ -222,7 +222,7 @@ dnl AC_CHECK_SIZEOF([int]) AC_CHECK_SIZEOF([long]) AC_SEARCH_LIBS([pow], [m]) -AC_CHECK_FUNCS([access atoi strerror]) +AC_CHECK_FUNCS([access atoi strerror gettimeofday ftime]) AC_CHECK_HEADERS([errno.h langinfo.h sys/timeb.h sys/wait.h time.h]) AC_TYPE_LONG_DOUBLE AC_TYPE_LONG_LONG_INT |