diff --git a/configure b/configure index 5e350983dd..d59fc6fd1a 100755 --- a/configure +++ b/configure @@ -811,6 +811,17 @@ check_cmd(){ test_cmd $@ && enable $cmd } +check_as(){ + log check_as "$@" + name=$1 + code=$2 + shift 2 + disable $name + test_as $@ <