OSDN Git Service

configure: remove dead variable
authorPaolo Bonzini <pbonzini@redhat.com>
Fri, 18 Sep 2020 10:52:12 +0000 (06:52 -0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Sat, 3 Oct 2020 12:18:55 +0000 (08:18 -0400)
commitecc91cfdb6328651d6c6a911eea8f598e1d13b4e
treecdba7cd27b8f6a56cf5f4618517696bb5a6d2260
parent8a19980e3fc42239aae054bc9debc52781d7b803
configure: remove dead variable

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
configure