diff --git a/automation/gitlab-ci/build.yaml b/automation/gitlab-ci/build.yaml index a39ed72aac..ddc2234faf 100644 --- a/automation/gitlab-ci/build.yaml +++ b/automation/gitlab-ci/build.yaml @@ -299,6 +299,8 @@ debian-buster-gcc-ibt: variables: CONTAINER: debian:buster-gcc-ibt RANDCONFIG: y + EXTRA_FIXED_RANDCONFIG: | + CONFIG_XEN_IBT=y debian-unstable-clang: extends: .clang-x86-64-build diff --git a/automation/scripts/build b/automation/scripts/build index bcfa6838f0..8c0882f3aa 100755 --- a/automation/scripts/build +++ b/automation/scripts/build @@ -12,6 +12,12 @@ cc-ver() # random config or default config if [[ "${RANDCONFIG}" == "y" ]]; then + + # Append job-specific fixed configuration + if [[ -n "${EXTRA_FIXED_RANDCONFIG}" ]]; then + echo "${EXTRA_FIXED_RANDCONFIG}" >> xen/tools/kconfig/allrandom.config + fi + make -j$(nproc) -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig hypervisor_only="y" else