# random config or default config
if [[ "${RANDCONFIG}" == "y" ]]; then
make -j$(nproc) -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig
+ hypervisor_only="y"
else
make -j$(nproc) -C xen defconfig
fi
./configure "${cfgargs[@]}"
-make -j$(nproc) dist
+if [[ "${hypervisor_only}" == "y" ]]; then
+ make -j$(nproc) xen
+else
+ make -j$(nproc) dist
+fi
# Extract artifacts to avoid getting rewritten by customised builds
cp xen/.config xen-config
cp -r dist binaries/
fi
+if [[ "${hypervisor_only}" == "y" ]]; then
+ # If we are build testing a specific Kconfig exit now, there's no point in
+ # testing all the possible configs.
+ exit 0
+fi
+
# Build all the configs we care about
case ${XEN_TARGET_ARCH} in
x86_64) arch=x86 ;;