diff --git a/configure b/configure index 98c92b2bdb..ae46567751 100755 --- a/configure +++ b/configure @@ -5384,7 +5384,7 @@ EOF sym=$($nm $TMPO | awk '/ff_extern/{ print substr($0, match($0, /[^ \t]*ff_extern/)) }') extern_prefix=${sym%%ff_extern*} -check_inline_asm inline_asm '"" ::' +! disabled inline_asm && check_inline_asm inline_asm '"" ::' _restrict= for restrict_keyword in restrict __restrict__ __restrict; do