Change clock_time_t from a fixed unsigned long to portTickType so it works ok when...

git-svn-id: https://svn.code.sf.net/p/freertos/code/trunk@1275 1d2547de-c912-0410-9cb9-b8ca96c0e9e2

diff --git a/Demo/Common/ethernet/FreeTCPIP/net/clock-arch.h b/Demo/Common/ethernet/FreeTCPIP/net/clock-arch.h
index cde657b6237848ff4bcab0d539ca03c5dff3fcf7..73d32e20a5fccc4dfec267d2976cf14a138d0b79 100644 (file)
--- a/Demo/Common/ethernet/FreeTCPIP/net/clock-arch.h
+++ b/Demo/Common/ethernet/FreeTCPIP/net/clock-arch.h
@@ -36,7 +36,7 @@
 \r
 #include "FreeRTOS.h"\r
 \r
-typedef unsigned long clock_time_t;\r
+typedef portTickType clock_time_t;\r
 #define CLOCK_CONF_SECOND configTICK_RATE_HZ\r
 \r
 #endif /* __CLOCK_ARCH_H__ */\r