tree 3858c7ee3381582d9d8b929e88ea272f12f815c6
parent 2e938a9a6145be52488af74949d49a60ce8baaad
author Paolo Bonzini <pbonzini@redhat.com> 1695895643 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1697616062 +0200

configure: remove some dead cruft

print_error is only invoked in one place, and $git is unused.

Reviewed-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>