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