diff options
author | Alec Berg <alecaberg@chromium.org> | 2015-04-09 09:31:23 -0700 |
---|---|---|
committer | ChromeOS Commit Bot <chromeos-commit-bot@chromium.org> | 2015-04-10 22:08:31 +0000 |
commit | a90f4dd25ee323a1859fbe28716e7d855a1725ca (patch) | |
tree | 8a9400c0c044daff271c8e24d5f12d63b8dea2b2 | |
parent | e9883124ff1600db5788e44c332a403499fb5da6 (diff) | |
download | chrome-ec-a90f4dd25ee323a1859fbe28716e7d855a1725ca.tar.gz |
samus_pd: disable timerinfo command to save space
Disable the timerinfo command on samus_pd to save flash space
BUG=none
BRANCH=samus
TEST=make -j buildall
From .map file, 256 bytes saved
Change-Id: I6731967741cb28268499126f1753916319a1dcb4
Signed-off-by: Alec Berg <alecaberg@chromium.org>
Reviewed-on: https://chromium-review.googlesource.com/264939
Reviewed-by: Vincent Palatin <vpalatin@chromium.org>
-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 |