From 1d0dcc81770ac191c253800908b9082fa66f2b88 Mon Sep 17 00:00:00 2001 From: Brian Starkey Date: Mon, 4 Oct 2021 19:09:59 +0100 Subject: [PATCH] pico_time: Fix alarm_pool_dump_key format string (#557) Add requred "%" before PRIu64. pico-sdk/src/common/pico_time/time.c:282:20: warning: data argument not used by format string [-Wformat-extra-args] --- src/common/pico_time/time.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/common/pico_time/time.c b/src/common/pico_time/time.c index f965ab8..dea1fc6 100644 --- a/src/common/pico_time/time.c +++ b/src/common/pico_time/time.c @@ -279,7 +279,7 @@ static void alarm_pool_dump_key(pheap_node_id_t id, void *user_data) { #if PICO_ON_DEVICE printf("%lld (hi %02x)", to_us_since_boot(get_entry(pool, id)->target), *get_entry_id_high(pool, id)); #else - printf(PRIu64, to_us_since_boot(get_entry(pool, id)->target)); + printf("%"PRIu64, to_us_since_boot(get_entry(pool, id)->target)); #endif }