configure: remove dead code
commita5e9fbf1dfd5b3f901f987755c89f1dc636c3747
authorPaolo Bonzini <pbonzini@redhat.com>
Thu, 31 Aug 2023 08:46:41 +0000 (31 10:46 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Thu, 7 Sep 2023 11:32:37 +0000 (7 13:32 +0200)
treeaeffed5fb4af85be6cd9a7904cec7eb51a48c390
parent875be287cdba7b5a499711823314355fccc60913
configure: remove dead code

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
configure