diff options
Diffstat (limited to 'common/timer.c')
| -rw-r--r-- | common/timer.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/common/timer.c b/common/timer.c index 42c08a8de5..8538635218 100644 --- a/common/timer.c +++ b/common/timer.c @@ -192,6 +192,7 @@ void force_time(timestamp_t ts) task_trigger_irq(timer_irq); } +#ifdef CONFIG_CMD_TIMERINFO void timer_print_info(void) { uint64_t t = get_time().val; @@ -214,6 +215,9 @@ void timer_print_info(void) } } } +#else +void timer_print_info(void) { } +#endif void timer_init(void) { @@ -304,6 +308,7 @@ DECLARE_CONSOLE_COMMAND(gettime, command_get_time, "Print current time", NULL); +#ifdef CONFIG_CMD_TIMERINFO int command_timer_info(int argc, char **argv) { timer_print_info(); @@ -314,3 +319,4 @@ DECLARE_CONSOLE_COMMAND(timerinfo, command_timer_info, NULL, "Print timer info", NULL); +#endif |