diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2023-08-31 10:46:41 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-09-07 13:32:37 +0200 |
commit | a5e9fbf1dfd5b3f901f987755c89f1dc636c3747 (patch) | |
tree | aeffed5fb4af85be6cd9a7904cec7eb51a48c390 | |
parent | 875be287cdba7b5a499711823314355fccc60913 (diff) |
configure: remove dead code
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
-rwxr-xr-x | configure | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -1126,14 +1126,6 @@ else done fi -# see if system emulation was really requested -case " $target_list " in - *"-softmmu "*) softmmu=yes - ;; - *) softmmu=no - ;; -esac - if test "$tcg" = "auto"; then if test -z "$target_list"; then tcg="disabled" |