diff options
author | Helmut Grohne <helmut@subdivi.de> | 2022-12-21 10:14:02 +0100 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2022-12-21 10:14:02 +0100 |
commit | 1fd150b05016fd67b0ff7a097cdadcde9c8f464e (patch) | |
tree | 286004273fda405916421d18b0e221d2da634be9 | |
parent | fa39dfb95c1944e7f223153b57bfd9d6b44cbc50 (diff) | |
download | debvm-1fd150b05016fd67b0ff7a097cdadcde9c8f464e.tar.gz |
debvm-run: skip kvm-specific options when kvm is unavailable
-rwxr-xr-x | debvm-run | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -88,7 +88,11 @@ set -- \ if test "$ARCHITECTURE" = "$VMARCH"; then QEMU=kvm - set -- -cpu host "$@" + # While kvm will fall back gracefully, the following options can only + # be passed when kvm really is available. + if test -w /dev/kvm; then + set -- -enable-kvm -cpu host "$@" + fi else case "$VMARCH" in arm64) |