#
# 2023-10-26T13:23:05.094143
#
# make KBUILD_BUILD_USER=KernelCI ARCH=x86_64 HOSTCC=gcc CC="ccache gcc" O=/tmp/kci/linux/build -C/tmp/kci/linux -j4 x86_64_defconfig
#
make: Entering directory '/tmp/kci/linux'
make[1]: Entering directory '/tmp/kci/linux/build'
  GEN     ./Makefile
  HOSTCC  scripts/basic/fixdep
  HOSTCC  scripts/kconfig/conf.o
  SHIPPED scripts/kconfig/zconf.tab.c
  SHIPPED scripts/kconfig/zconf.lex.c
  SHIPPED scripts/kconfig/zconf.hash.c
  HOSTCC  scripts/kconfig/zconf.tab.o
  HOSTLD  scripts/kconfig/conf
#
# configuration written to .config
#
make[1]: Leaving directory '/tmp/kci/linux/build'
make: Leaving directory '/tmp/kci/linux'
#
# 2023-10-26T13:23:08.979064
#
# 
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' 

#