configure: change $softmmu to $system
commit24f9c07ac0b6acc38b8790b101d32944a2b64739
authorPaolo Bonzini <pbonzini@redhat.com>
Wed, 4 Oct 2023 13:46:56 +0000 (4 15:46 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Sun, 8 Oct 2023 19:08:27 +0000 (8 21:08 +0200)
tree62d5f9e87834b9f3a21db1a805ae59e91f45c070
parent8d7f2e767d8cd058c817dbe31430b89f2e11535d
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 <pbonzini@redhat.com>
configure