From 88155300e68b02467fcf993a0ef26483bf319bb5 Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Wed, 14 Nov 2007 20:26:34 +0000
Subject: [PATCH] providing prototype for timediff

---
 src/misc/misc_time.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/misc/misc_time.h b/src/misc/misc_time.h
index d35b2e326..b866ab650 100644
--- a/src/misc/misc_time.h
+++ b/src/misc/misc_time.h
@@ -9,4 +9,14 @@
 char * datestring(void);
 double seconds(void);
 
+#ifndef HAVE_GETRUSAGE
+#ifndef HAVE_TIMES
+#ifdef HAVE_FTIME
+
+void timediff(struct timeb *, struct timeb *, int *, int *);
+
+#endif
+#endif
+#endif
+
 #endif