diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2023-09-28 12:07:23 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-10-18 10:01:02 +0200 |
commit | 050b439887edbbd1b07b94111ffdffbc817e97cf (patch) | |
tree | 3858c7ee3381582d9d8b929e88ea272f12f815c6 /configure | |
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>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -94,7 +94,7 @@ quote_sh() { printf "%s" "$1" | sed "s,','\\\\'',g; s,.*,'&'," } -print_error() { +error_exit() { (echo echo "ERROR: $1" while test -n "$2"; do @@ -102,10 +102,6 @@ print_error() { shift done echo) >&2 -} - -error_exit() { - print_error "$@" exit 1 } @@ -248,7 +244,6 @@ done default_cflags='-O2 -g' git_submodules_action="update" -git="git" docs="auto" EXESUF="" prefix="/usr/local" |