configure: remove dead function
commit91cd485a6dcbc8210666d19146fe73b8664f0418
authorPaolo Bonzini <pbonzini@redhat.com>
Tue, 18 Oct 2022 08:17:25 +0000 (18 10:17 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Thu, 5 Jan 2023 23:50:32 +0000 (6 00:50 +0100)
tree83dab8243124cb3d32381327bb3f1bb0b2fda5bd
parentc5634e822416e71e00f08f55a521362d8d21264d
configure: remove dead function

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
configure