diff mbox series

[11/17] configure: remove some dead cruft

Message ID 20231016063127.161204-12-pbonzini@redhat.com
State New
Headers show
Series More build system cleanups, optional non-relocatable installs | expand

Commit Message

Paolo Bonzini Oct. 16, 2023, 6:31 a.m. UTC 
print_error is only invoked in one place, and $git is unused.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
---
 configure | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

Comments

Thomas Huth Oct. 16, 2023, 9:32 a.m. UTC | #1 
On 16/10/2023 08.31, Paolo Bonzini wrote:
> print_error is only invoked in one place, and $git is unused.
> 
> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
> ---
>   configure | 7 +------
>   1 file changed, 1 insertion(+), 6 deletions(-)


Reviewed-by: Thomas Huth <thuth@redhat.com>
diff mbox series

Patch

diff --git a/configure b/configure
index a713493e9e2..211591911cc 100755
--- a/configure
+++ b/configure
@@ -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"