Merge pull request #9045 from cladmi/pr/tests/thread_flags/wsn430

tests/thread_flags: fix printf on 16bit platform
This commit is contained in:
Koen Zandberg 2018-04-28 14:49:47 +02:00 committed by GitHub
commit e13b1b7dd2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -96,7 +96,7 @@ int main(void)
xtimer_set_timeout_flag(&t, TIMEOUT); xtimer_set_timeout_flag(&t, TIMEOUT);
thread_flags_wait_any(THREAD_FLAG_TIMEOUT); thread_flags_wait_any(THREAD_FLAG_TIMEOUT);
uint32_t diff = xtimer_now_usec() - before; uint32_t diff = xtimer_now_usec() - before;
printf("main: timeout triggered. time passed: %uus\n", (unsigned)diff); printf("main: timeout triggered. time passed: %"PRIu32"us\n", diff);
if (diff < (TIMEOUT + THRESHOLD)) { if (diff < (TIMEOUT + THRESHOLD)) {
puts("SUCCESS"); puts("SUCCESS");