aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorPaolo Bonzini <pbonzini@redhat.com>2023-09-28 12:07:23 +0200
committerPaolo Bonzini <pbonzini@redhat.com>2023-10-18 10:01:02 +0200
commit050b439887edbbd1b07b94111ffdffbc817e97cf (patch)
tree3858c7ee3381582d9d8b929e88ea272f12f815c6 /configure
parent2e938a9a6145be52488af74949d49a60ce8baaad (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-xconfigure7
1 files changed, 1 insertions, 6 deletions
diff --git a/configure b/configure
index 5c1d618f10..0994f54530 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"