CONTAINER: debian:unstable
RANDCONFIG: y
+debian-unstable-gcc-nrcpus1:
+ extends: .gcc-x86-64-build
+ variables:
+ CONTAINER: debian:unstable
+ CONFIG_NR_CPUS: 1
+
+debian-unstable-gcc-debug-nrcpus1:
+ extends: .gcc-x86-64-build-debug
+ variables:
+ CONTAINER: debian:unstable
+ CONFIG_NR_CPUS: 1
+
debian-unstable-32-clang:
extends: .clang-x86-32-build
variables:
# random config or default config
if [[ "${RANDCONFIG}" == "y" ]]; then
make -j$(nproc) -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig
+elif [[ "${!CONFIG_@}" != "" ]]; then
+ for config in "${!CONFIG_@}"; do
+ printf '%s=%s\n' "$config" "${!config}" >> xen/.config
+ done
+ make -j$(nproc) -C xen olddefconfig
+ for config in "${!CONFIG_@}"; do
+ if [[ "${!config}" != "n" ]]; then
+ option=$(printf '%s=%s' "$config" "${!config}")
+ else
+ option=$(printf '# %s is not set' "$config")
+ fi
+ if ! grep -q "^${option}$" xen/.config; then
+ echo "Failed to set ${config} in Kconfig"
+ exit 1;
+ fi
+ done
else
make -j$(nproc) -C xen defconfig
fi