commit | 050b439887edbbd1b07b94111ffdffbc817e97cf | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Thu Sep 28 12:07:23 2023 +0200 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Wed Oct 18 10:01:02 2023 +0200 |
tree | 3858c7ee3381582d9d8b929e88ea272f12f815c6 | |
parent | 2e938a9a6145be52488af74949d49a60ce8baaad [diff] |
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>