OSDN Git Service

configure: remove another dead variable
authorPaolo Bonzini <pbonzini@redhat.com>
Fri, 13 May 2022 16:06:37 +0000 (18:06 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Sat, 14 May 2022 10:33:45 +0000 (12:33 +0200)
commit008f6f20a544cbffe6152aacb69b2774978b49e0
treecbf2839f51093ae15bdfe3e9aac6927b32b5ed43
parent40b3ea76425435ee18395d619e4b3f8f652e25b0
configure: remove another dead variable

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