From 1001e5e9b902ade24e0debbee307a3e55ba6d3b6 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Fri, 23 Sep 2016 17:40:23 +0200
Subject: [PATCH] buildserver: bochs can also be used with KVM

jenkins.debian.net is being detected as 'bochs' rather than 'qemu'.
---
 makebuildserver | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makebuildserver b/makebuildserver
index a5328f87..14624b58 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -72,7 +72,7 @@ if os.path.isfile('/usr/bin/systemd-detect-virt'):
         virt = subprocess.check_output('/usr/bin/systemd-detect-virt').strip().decode('utf-8')
     except subprocess.CalledProcessError as e:
         virt = 'none'
-    if virt == 'qemu' or virt == 'kvm':
+    if virt == 'qemu' or virt == 'kvm' or virt == 'bochs':
         print('Running in a VM guest, defaulting to QEMU/KVM via libvirt')
         config['vm_provider'] = 'libvirt'
     elif virt != 'none':