diff --git a/configure b/configure index 74c754d91a..3bd9e7a342 100755 --- a/configure +++ b/configure @@ -5308,9 +5308,7 @@ EOF sym=$($nm $TMPO | awk '/ff_extern/{ print substr($0, match($0, /[^ \t]*ff_extern/)) }') extern_prefix=${sym%%ff_extern*} -check_cc <