#
# 2023-10-20T13:49:42.981007
#
# make KBUILD_BUILD_USER=KernelCI ARCH=x86_64 HOSTCC=gcc CC="ccache gcc" O=/tmp/kci/linux/build -C/tmp/kci/linux -j4 defconfig
#
make: Entering directory '/tmp/kci/linux'
make[1]: Entering directory '/tmp/kci/linux/build'
  HOSTCC  scripts/basic/fixdep
  GEN     ./Makefile
  HOSTCC  scripts/kconfig/conf.o
  YACC    scripts/kconfig/zconf.tab.c
  LEX     scripts/kconfig/zconf.lex.c
  HOSTCC  scripts/kconfig/zconf.tab.o
  HOSTLD  scripts/kconfig/conf
*** Default configuration is based on 'x86_64_defconfig'
#
# configuration written to .config
#
make[1]: Leaving directory '/tmp/kci/linux/build'
make: Leaving directory '/tmp/kci/linux'
#
# 2023-10-20T13:49:47.217597
#
# 
set -e
cd /tmp/kci/linux
export HOSTCC=gcc
export CC=gcc
export ARCH=x86_64
export CROSS_COMPILE=
export CROSS_COMPILE_COMPAT=
export LLVM_IAS=
scripts/kconfig/merge_config.sh -O build 'build/.config' 'build/kernelci.config' 

#