diff -r 000000000000 -r 6f7a81934006 lib/ac/time.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/ac/time.h	Wed Jan 16 22:39:43 2008 +0100
@@ -0,0 +1,10 @@
+#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