diff --git a/configure b/configure index 0c5ed07a07..140825ab12 100755 --- a/configure +++ b/configure @@ -967,6 +967,14 @@ test_as(){ test_cmd $as $CPPFLAGS $ASFLAGS "$@" $AS_C $(as_o $TMPO) $TMPS } +check_cmd(){ + log check_cmd "$@" + cmd=$1 + disabled $cmd && return + disable $cmd + test_cmd $@ && enable $cmd +} + check_inline_asm(){ log check_inline_asm "$@" name="$1"