diff --git a/configure b/configure index 6d565e1d5b..56ae0e3f2a 100755 --- a/configure +++ b/configure @@ -324,12 +324,6 @@ require(){ check_lib $header $func "$@" || die "ERROR: $name not found" } -filter_out(){ - pattern="$1" - shift - echo "$@" | sed "s%\\<$pattern\\>%%g" -} - # set temporary file name if test ! -z "$TMPDIR" ; then TMPDIR1="${TMPDIR}"