From dbbc48d1c02807579f9bbfd898ab6ec87bd64770 Mon Sep 17 00:00:00 2001
From: Robin Peng <robinpeng@google.com>
Date: Wed, 16 Mar 2022 13:22:13 +0800
Subject: [PATCH] Remove BUILD_KERNEL=1 from build_*.sh to use prebuilt GKI
 kernels

Bug: 223663549
Signed-off-by: Robin Peng <robinpeng@google.com>
Change-Id: I5416a84d1a77deafe4bbbafb8c0e90383718db92
---
 build_slider.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/build_slider.sh b/build_slider.sh
index 471e8fcf96a4..fa3b89db98fa 100755
--- a/build_slider.sh
+++ b/build_slider.sh
@@ -8,8 +8,6 @@ function exit_if_error {
   fi
 }
 
-BUILD_KERNEL=1
-
 EXPERIMENTAL_BUILD=${EXPERIMENTAL_BUILD:-0}
 TRIM_NONLISTED_KMI=${TRIM_NONLISTED_KMI:-1}
 LTO=${LTO:-thin}