config.sh: Disable mixed build

Explicitly disable mixed build when running config script as compiling the GKI kernel isn't needed. Bug: 178469391 Change-Id: Iac7d0f16c6a74f1cd6717ce6c7780d468b9d138a
KudProject · Feb 16, 2021 · 1d67ceb · 1d67ceb
1 parent 41f10bc
commit 1d67ceb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/config.sh b/config.sh
@@ -35,6 +35,9 @@ set -a
 source "${ROOT_DIR}/build/_setup_env.sh"
 set -a
 
+# Disable mixed build
+GKI_BUILD_CONFIG=
+
 function sort_config() {
   # Normal sort won't work because all the "# CONFIG_.. is not set" would come
   # before all the "CONFIG_..=m". Use sed to extract the CONFIG_ option and prefix