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