diff options
author | Diego Biurrun <diego@biurrun.de> | 2013-03-04 22:59:41 +0100 |
---|---|---|
committer | Diego Biurrun <diego@biurrun.de> | 2013-03-05 11:04:37 +0100 |
commit | 9c7d85b3b45a77742b1e69c48ab33f9c8a2e6f35 (patch) | |
tree | d7169925351c8e2030cfe76ca3def45acf8550d3 | |
parent | f868b24d0f280bb966e5c352028a343e45d20a02 (diff) | |
download | ffmpeg-9c7d85b3b45a77742b1e69c48ab33f9c8a2e6f35.tar.gz |
configure: Add check_builtin convenience function
-rwxr-xr-x | configure | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -937,6 +937,16 @@ check_struct(){ enable_safe "${struct}_${member}" } +check_builtin(){ + log check_builtin "$@" + name=$1 + headers=$2 + builtin=$3 + shift 3 + disable "$name" + check_code ld "$headers" "$builtin" "$@" && enable "$name" +} + require(){ name="$1" header="$2" |