Fix platform_delay

This commit is contained in:
Gareth McMullin 2016-04-19 13:23:04 -07:00
parent da10f8a6bc
commit 8d9d6f692c
1 changed files with 1 additions and 1 deletions

View File

@ -50,7 +50,7 @@ bool platform_timeout_is_expired(void)
void platform_delay(uint32_t delay)
{
platform_timeout_set(delay);
while (platform_timeout_is_expired());
while (!platform_timeout_is_expired());
}
void sys_tick_handler(void)