diff options
| -rwxr-xr-x | configure | 4 |
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" |