jerry: Enable CONFIG_COMMON_GPIO_SHORTNAMES

Turn on CONFIG_COMMON_GPIO_SHORTNAMES to save some space in rodata.

BUG=b:69329196
BRANCH=None
TEST=make -j BOARD=jerry

Change-Id: Ib1e4cb13c013cce7b0d6422b842ca47c0f4ff62c
Signed-off-by: Furquan Shaikh <furquan@chromium.org>
Reviewed-on: https://chromium-review.googlesource.com/770923
Reviewed-by: Aseda Aboagye <aaboagye@chromium.org>
This commit is contained in:
Furquan Shaikh
2017-11-14 18:03:42 -08:00
committed by chrome-bot
parent 2e7a6bc39e
commit 1a0dedbf02

View File

@@ -46,6 +46,8 @@
#define CONFIG_UART_RX_DMA
#define CONFIG_VBOOT_HASH
#define CONFIG_COMMON_GPIO_SHORTNAMES
#undef CONFIG_CONSOLE_CMDHELP
#undef CONFIG_CONSOLE_HISTORY
#undef CONFIG_WATCHDOG_HELP