aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorPaolo Bonzini <pbonzini@redhat.com>2022-10-18 10:17:25 +0200
committerPaolo Bonzini <pbonzini@redhat.com>2023-01-06 00:50:32 +0100
commit91cd485a6dcbc8210666d19146fe73b8664f0418 (patch)
tree83dab8243124cb3d32381327bb3f1bb0b2fda5bd /configure
parentc5634e822416e71e00f08f55a521362d8d21264d (diff)
configure: remove dead function
Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 0 insertions, 4 deletions
diff --git a/configure b/configure
index d808e57b76..9aba61a2cb 100755
--- a/configure
+++ b/configure
@@ -211,10 +211,6 @@ version_ge () {
done
}
-glob() {
- eval test -z '"${1#'"$2"'}"'
-}
-
if printf %s\\n "$source_path" "$PWD" | grep -q "[[:space:]:]";
then
error_exit "main directory cannot contain spaces nor colons"