From 287a2676698c00cf8745acb0fd64d908b612cf7c Mon Sep 17 00:00:00 2001
From: Klaus Schmidinger <vdr@tvdr.de>
Date: Sun, 26 Aug 2001 15:52:17 +0200
Subject: [PATCH] Added missing '#include <time.h>' in tools.c

---
 HISTORY | 2 +-
 tools.c | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/HISTORY b/HISTORY
index 655be9ce..250d8572 100644
--- a/HISTORY
+++ b/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
diff --git a/tools.c b/tools.c
index 8ae2c9d3..f51bc85d 100644
--- a/tools.c
+++ b/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"