From 25c0cf3197084509de0b181cb2b836944dd81cb0 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Sat, 21 Jan 2023 07:33:17 +0100
Subject: debvm-run: only pass gic-version when kvm is available

Fixes: bfaa3d124fab ("debvm-run: on arm64 there is no default machine -- set one")
---
 bin/debvm-run | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'bin')

diff --git a/bin/debvm-run b/bin/debvm-run
index 35a3459..6269ba6 100755
--- a/bin/debvm-run
+++ b/bin/debvm-run
@@ -235,12 +235,10 @@ if test "$ARCHITECTURE" = "$VMARCH"; then
 	# be passed when kvm really is available.
 	if test -w /dev/kvm; then
 		set -- -enable-kvm -cpu host "$@"
-	fi
-	case "$VMARCH" in
-		arm64)
+		if test "$VMARCH" = arm64; then
 			MACHINE="$MACHINE,gic-version=host"
-		;;
-	esac
+		fi
+	fi
 else
 	QEMU="qemu-system-$VMARCH"
 	case "$VMARCH" in
-- 
cgit v1.2.3