| . ${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 |