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 /common/timer.c | |
| 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>
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 |