diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2022-10-18 10:17:25 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-01-06 00:50:32 +0100 |
commit | 91cd485a6dcbc8210666d19146fe73b8664f0418 (patch) | |
tree | 83dab8243124cb3d32381327bb3f1bb0b2fda5bd /configure | |
parent | c5634e822416e71e00f08f55a521362d8d21264d (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-x | configure | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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" |