From e654600c27111eb33776714de1de8443951871eb Mon Sep 17 00:00:00 2001 From: Enrico Fraccaroli Date: Tue, 13 Dec 2022 16:58:30 -0500 Subject: [PATCH] Deal with an unused variable. --- mentos/src/hardware/timer.c | 1 + 1 file changed, 1 insertion(+) diff --git a/mentos/src/hardware/timer.c b/mentos/src/hardware/timer.c index 3ff66d0..e18e369 100644 --- a/mentos/src/hardware/timer.c +++ b/mentos/src/hardware/timer.c @@ -229,6 +229,7 @@ static void __print_tvec_slots(tvec_base_t *base, int tv_index) } pr_debug("base->tv%d.vec:\n\t%s\n", tv_index, result); + (void) result; } /// Dump all timer vector in base