diff -r 000000000000 -r 1918ee327afb src/3rdparty/ce-compat/ce_time.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/3rdparty/ce-compat/ce_time.h	Mon Jan 11 14:00:40 2010 +0000
@@ -0,0 +1,16 @@
+#ifndef __CE_TIME_H__
+#define __CE_TIME_H__
+
+#if defined(_WIN32_WCE) && _WIN32_WCE >= 0x600
+// we need to prototype the time functions for Windows CE >= 6.0
+#include <crtdefs.h>
+
+struct tm;
+
+time_t time(time_t* timer);
+time_t mktime(struct tm *t);
+size_t strftime(char * const s, const size_t maxsize, const char * const format, const struct tm * const t);
+struct tm *localtime(const time_t *timer);
+#endif
+
+#endif