cp -v ../config.vga.* .

for config in config.vga.cirrus config.vga.isavga config.vga.qxl config.vga.stdvga config.vga.vmware; do
	name=${config#*config.vga.}
	make clean distclean
	cp ${config} .config
	echo "CONFIG_DEBUG_LEVEL=1" >> .config
	make oldnoconfig
	make V=1 \
		out/vgabios.bin
done