commit | 24f9c07ac0b6acc38b8790b101d32944a2b64739 | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Wed Oct 04 15:46:56 2023 +0200 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Sun Oct 08 21:08:27 2023 +0200 |
tree | 62d5f9e87834b9f3a21db1a805ae59e91f45c070 | |
parent | 8d7f2e767d8cd058c817dbe31430b89f2e11535d [diff] |
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>