Change clock_time_t from a fixed unsigned long to portTickType so it works ok when configUSE_16_BIT_TICKS is set to 1.

This commit is contained in:
Richard Barry 2011-02-07 11:58:19 +00:00
parent a5820e2b2a
commit f5e7f9957c

View file

@ -36,7 +36,7 @@
#include "FreeRTOS.h"
typedef unsigned long clock_time_t;
typedef portTickType clock_time_t;
#define CLOCK_CONF_SECOND configTICK_RATE_HZ
#endif /* __CLOCK_ARCH_H__ */