| # Note: This file is no longer used by the GKI to build. The file is kept |
| # here because of external usages. |
| # TODO(b/236012223): Deprecate and remove this file once build-config-less |
| # builds are fully supported. |
| |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.common |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.x86_64 |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.gki |
| |
| if [ -n "${GKI_BUILD_CONFIG_FRAGMENT}" ]; then |
| echo "ERROR: GKI_BUILD_CONFIG_FRAGMENT is deprecated; use --gki_build_config_fragment instead.">&2 |
| exit 1 |
| fi |
