diff options
| author | Nicolas Boichat <drinkcat@chromium.org> | 2018-05-23 14:19:19 +0800 |
|---|---|---|
| committer | chrome-bot <chrome-bot@chromium.org> | 2018-05-24 04:10:04 -0700 |
| commit | db24bed78d6274def74f0a764a29a9ea1e2feb71 (patch) | |
| tree | 9fbbde9513bcdc172542160e8ae3eab9ea9a9054 | |
| parent | 35e278bb41dc9f54e1317b0225c371b4c939eb12 (diff) | |
| download | chrome-ec-db24bed78d6274def74f0a764a29a9ea1e2feb71.tar.gz | |
timer: Allow disabling gettime console command
hammer does not need that command, let's just remove it.
BRANCH=poppy
BUG=b:35647963
TEST=make newsizes, saves 112 bytes of flash
Change-Id: I24ed979f8a9053128d4eb56fc5af00429f7ba0ae
Signed-off-by: Nicolas Boichat <drinkcat@chromium.org>
Reviewed-on: https://chromium-review.googlesource.com/1070950
Reviewed-by: Randall Spangler <rspangler@chromium.org>
| -rw-r--r-- | common/timer.c | 2 | ||||
| -rw-r--r-- | include/config.h | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/common/timer.c b/common/timer.c index d88a34164e..117cea4b71 100644 --- a/common/timer.c +++ b/common/timer.c @@ -319,6 +319,7 @@ DECLARE_CONSOLE_COMMAND(forcetime, command_force_time, "Force current time"); #endif +#ifdef CONFIG_CMD_GETTIME static int command_get_time(int argc, char **argv) { timestamp_t ts = get_time(); @@ -329,6 +330,7 @@ static int command_get_time(int argc, char **argv) DECLARE_SAFE_CONSOLE_COMMAND(gettime, command_get_time, NULL, "Print current time"); +#endif #ifdef CONFIG_CMD_TIMERINFO int command_timer_info(int argc, char **argv) diff --git a/include/config.h b/include/config.h index d06cbcf73c..0351169a79 100644 --- a/include/config.h +++ b/include/config.h @@ -832,6 +832,7 @@ #define CONFIG_CMD_FLASHINFO #undef CONFIG_CMD_FLASH_TRISTATE #undef CONFIG_CMD_FORCETIME +#define CONFIG_CMD_GETTIME #undef CONFIG_CMD_GPIO_EXTENDED #undef CONFIG_CMD_GSV #define CONFIG_CMD_HASH |