diff --git a/build_mixed.sh b/build_mixed.sh index 9e448b3ad40f..294d8bc7bbb6 100755 --- a/build_mixed.sh +++ b/build_mixed.sh @@ -134,9 +134,9 @@ elif [ -z "${GKI_KERNEL_BUILD_CONFIG}" ]; then fi if [ -n "${GKI_KERNEL_BUILD_CONFIG}" ]; then - build_gki + build_gki "$@" else copy_gki_prebuilts fi -build_device_kernel +build_device_kernel "$@" diff --git a/build_slider.sh b/build_slider.sh index 823dfe53a724..471e8fcf96a4 100755 --- a/build_slider.sh +++ b/build_slider.sh @@ -80,7 +80,7 @@ DEVICE_KERNEL_BUILD_CONFIG=${DEVICE_KERNEL_BUILD_CONFIG} \ GKI_KERNEL_OUT_DIR=${GKI_KERNEL_OUT_DIR} \ GKI_KERNEL_PREBUILTS_DIR=${GKI_KERNEL_PREBUILTS_DIR} \ GKI_DEFCONFIG_FRAGMENT=${GKI_DEFCONFIG_FRAGMENT} \ - ./build_mixed.sh + ./build_mixed.sh "$@" exit_if_error $? "Failed to create mixed build"