diff -uNr gnulib/lib/gettime.c gnulib-gettimeofday-work-2/lib/gettime.c
--- gnulib/lib/gettime.c	2005-05-14 08:03:58.000000000 +0200
+++ gnulib-gettimeofday-work-2/lib/gettime.c	2005-09-02 08:10:10.801681984 +0200
@@ -23,6 +23,8 @@
 
 #include "timespec.h"
 
+#include "gettimeofday.h"
+
 /* Get the system time into *TS.  */
 
 void
@@ -37,17 +39,12 @@
     return;
 # endif
 
-# if HAVE_GETTIMEOFDAY
   {
     struct timeval tv;
     gettimeofday (&tv, NULL);
     ts->tv_sec = tv.tv_sec;
     ts->tv_nsec = tv.tv_usec * 1000;
   }
-# else
-  ts->tv_sec = time (NULL);
-  ts->tv_nsec = 0;
-# endif
 
 #endif
 }