diff options
| -rw-r--r-- | board/samus_pd/board.h | 1 | ||||
| -rw-r--r-- | common/timer.c | 6 | ||||
| -rw-r--r-- | include/config.h | 1 |
3 files changed, 8 insertions, 0 deletions
diff --git a/board/samus_pd/board.h b/board/samus_pd/board.h index cb9d0f991e..da536d16e0 100644 --- a/board/samus_pd/board.h +++ b/board/samus_pd/board.h @@ -28,6 +28,7 @@ #define CONFIG_CHARGER_INPUT_CURRENT PWM_0_MA #undef CONFIG_CMD_IDLE_STATS #undef CONFIG_CMD_SHMEM +#undef CONFIG_CMD_TIMERINFO #define CONFIG_COMMON_GPIO_SHORTNAMES #undef CONFIG_CONSOLE_CMDHELP #undef CONFIG_CONSOLE_HISTORY 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 diff --git a/include/config.h b/include/config.h index 769160d1f0..e3215500a9 100644 --- a/include/config.h +++ b/include/config.h @@ -379,6 +379,7 @@ #undef CONFIG_CMD_SPI_FLASH #undef CONFIG_CMD_STACKOVERFLOW #undef CONFIG_CMD_TASKREADY +#define CONFIG_CMD_TIMERINFO #define CONFIG_CMD_TYPEC #undef CONFIG_CMD_USB_PD_PE |