From 1a0dedbf02eaa61209955286683950af11782fe9 Mon Sep 17 00:00:00 2001
From: Furquan Shaikh <furquan@chromium.org>
Date: Tue, 14 Nov 2017 18:03:42 -0800
Subject: [PATCH] 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>
---
 board/jerry/board.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/board/jerry/board.h b/board/jerry/board.h
index 334d27bd28..317ca49083 100644
--- a/board/jerry/board.h
+++ b/board/jerry/board.h
@@ -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