Added missing '#include <time.h>' in tools.c

HISTORY

@@ -664,7 +664,7 @@ Video Disk Recorder Revision History
 - Fixed the chirping sound after Pause/Play of a DVD (thanks to Andreas
   Schultz).
 
-2001-08-25: Version 0.93
+2001-08-26: Version 0.93
 
 - The menus and the channel display now show the current date and time.
 - The new Setup parameter MaxVideoFileSize can be used to customize the

tools.c

@@ -4,7 +4,7 @@
  * See the main source file 'vdr.c' for copyright information and
  * how to reach the author.
  *
- * $Id: tools.c 1.42 2001/08/26 13:11:17 kls Exp $
+ * $Id: tools.c 1.43 2001/08/26 15:45:41 kls Exp $
  */
 
 #define _GNU_SOURCE
@@ -17,6 +17,7 @@
 #endif
 #include <stdlib.h>
 #include <sys/time.h>
+#include <time.h>
 #include <unistd.h>
 #include "i18n.h"