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