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>
This commit is contained in:
Nicolas Boichat
2018-05-23 14:19:19 +08:00
committed by chrome-bot
parent 35e278bb41
commit db24bed78d
2 changed files with 3 additions and 0 deletions

View File

@@ -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)

View File

@@ -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