From daf970eb70685c9e578e62b3f12680727e60492b Mon Sep 17 00:00:00 2001
From: Johnny Lin <johnny_lin@wiwynn.com>
Date: Tue, 31 Jan 2023 13:52:17 +0800
Subject: [PATCH] configs/builder/config.ocp.tiogapass: Add
 CONFIG_BOARD_OCP_TIOGAPASS

Otherwise configurations in src/mainboard/ocp/tiogapass/Kconfig
cannot be selected by
make defconfig KBUILD_DEFCONFIG=configs/builder/config.ocp.tiogapass

Change-Id: I88d5619269a6a9c09e84061642206a17c91db042
Signed-off-by: Johnny Lin <johnny_lin@wiwynn.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/72642
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Jonathan Zhang <jonzhang@fb.com>
---
 configs/builder/config.ocp.tiogapass | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configs/builder/config.ocp.tiogapass b/configs/builder/config.ocp.tiogapass
index 9121431b5b..ec8a191048 100644
--- a/configs/builder/config.ocp.tiogapass
+++ b/configs/builder/config.ocp.tiogapass
@@ -2,6 +2,7 @@
 #   make defconfig KBUILD_DEFCONFIG=configs/builder/config.ocp.tiogapass
 
 CONFIG_VENDOR_OCP=y
+CONFIG_BOARD_OCP_TIOGAPASS=y
 CONFIG_HAVE_IFD_BIN=y
 CONFIG_HAVE_ME_BIN=y
 CONFIG_DO_NOT_TOUCH_DESCRIPTOR_REGION=y