From da4792aa8c7b25c830b8f3b5b44b76cd95cb34d1 Mon Sep 17 00:00:00 2001
From: "J. Avila" <elavila@google.com>
Date: Fri, 23 Apr 2021 20:54:12 +0000
Subject: [PATCH] build_slider: Add support for DEVICE_KERNEL_BUILD_CONFIG

Add support for DEVICE_KERNEL_BUILD_CONFIG, with the default value of
build.config.slider

Signed-off-by: J. Avila <elavila@google.com>
Change-Id: Ib76168fda4d54d55b5dbd5d2568c14009a4607d7
---
 build_slider.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/build_slider.sh b/build_slider.sh
index 3f541fc3d13d..265abdbe8bb4 100755
--- a/build_slider.sh
+++ b/build_slider.sh
@@ -29,7 +29,7 @@ function build_gki {
 function build_abi {
   echo "Building device kernel for ABI..."
   # LTO=full is required for building ABI, and we must build the full kernel.
-  BUILD_CONFIG=private/gs-google/build.config.slider \
+  BUILD_CONFIG=${DEVICE_KERNEL_BUILD_CONFIG} \
     OUT_DIR=${BASE_OUT}/device-kernel/ \
     DIST_DIR=${DIST_DIR} \
     LTO=full \
@@ -46,7 +46,7 @@ function build_abi {
 
 function build_pixel {
   echo "Building device kernel..."
-  BUILD_CONFIG=private/gs-google/build.config.slider \
+  BUILD_CONFIG=${DEVICE_KERNEL_BUILD_CONFIG} \
     OUT_DIR=${BASE_OUT}/device-kernel/ \
     DIST_DIR=${DIST_DIR} \
     LTO=${LTO} \
@@ -63,6 +63,8 @@ DIST_DIR=${DIST_DIR:-${BASE_OUT}/dist/}
 LTO=${LTO:-thin}
 GKI_BINARIES_DIR=$(readlink -m ${DIST_DIR})
 GKI_PREBUILTS_DIR=$(readlink -m "prebuilts/boot-artifacts/kernel/")
+DEFAULT_CONFIG="private/gs-google/build.config.slider"
+DEVICE_KERNEL_BUILD_CONFIG=${DEVICE_KERNEL_BUILD_CONFIG:-${DEFAULT_CONFIG}}
 if [ -z "${BUILD_KERNEL}" ]; then
   if [ "${EXPERIMENTAL_BUILD}" != "0" -o -n "${GKI_DEFCONFIG_FRAGMENT}" ]; then
     BUILD_KERNEL=1