configure: remove some dead cruft
authorPaolo Bonzini <pbonzini@redhat.com>
Thu, 28 Sep 2023 10:07:23 +0000 (12:07 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 18 Oct 2023 08:01:02 +0000 (10:01 +0200)
commit050b439887edbbd1b07b94111ffdffbc817e97cf
tree3858c7ee3381582d9d8b929e88ea272f12f815c6
parent2e938a9a6145be52488af74949d49a60ce8baaad
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>
configure