f5e7f9957cde65393e3ff2f36f27382271badd35 - third_party/github/FreeRTOS/FreeRTOS-Kernel

commit: f5e7f9957cde65393e3ff2f36f27382271badd35
[log] [tgz]
author: Richard Barry <ribarry@amazon.com>
Mon Feb 07 11:58:19 2011 +0000
committer: Richard Barry <ribarry@amazon.com>
Mon Feb 07 11:58:19 2011 +0000
tree: dce57f6d8ac4c4b82137ca1b4a60241ac8a490cf
parent: a5820e2b2aa7cf4a2bc2edb6a572f56aa8f90be1 [diff]

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

1 file changed

tree: dce57f6d8ac4c4b82137ca1b4a60241ac8a490cf