From 24f9c07ac0b6acc38b8790b101d32944a2b64739 Mon Sep 17 00:00:00 2001 From: Paolo Bonzini Date: Wed, 4 Oct 2023 15:46:56 +0200 Subject: [PATCH] configure: change $softmmu to $system "softmmu" is a deprecated moniker, do the easy change matching the variable to the command line option. Signed-off-by: Paolo Bonzini --- configure | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/configure b/configure index e08127045d..97a5e8de49 100755 --- a/configure +++ b/configure @@ -252,7 +252,7 @@ docs="auto" EXESUF="" prefix="/usr/local" qemu_suffix="qemu" -softmmu="yes" +system="yes" linux_user="" bsd_user="" plugins="$default_feature" @@ -740,9 +740,9 @@ for opt do ;; --enable-tcg) tcg="enabled" ;; - --disable-system) softmmu="no" + --disable-system) system="no" ;; - --enable-system) softmmu="yes" + --enable-system) system="yes" ;; --disable-user) linux_user="no" ; @@ -864,7 +864,7 @@ else error_exit "user mode emulation not supported on this architecture" fi fi -if [ "$softmmu" = "yes" ]; then +if [ "$system" = "yes" ]; then mak_wilds="${mak_wilds} $source_path/configs/targets/*-softmmu.mak" fi @@ -1756,7 +1756,7 @@ for target in $target_list; do case $target in xtensa*-linux-user) - # the toolchain is not complete with headers, only build softmmu tests + # the toolchain is not complete with headers, only build system tests continue ;; *-softmmu)