Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mpc-hc/FFmpeg.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDiego Biurrun <diego@biurrun.de>2013-03-05 01:59:41 +0400
committerDiego Biurrun <diego@biurrun.de>2013-03-05 14:04:37 +0400
commit9c7d85b3b45a77742b1e69c48ab33f9c8a2e6f35 (patch)
treed7169925351c8e2030cfe76ca3def45acf8550d3 /configure
parentf868b24d0f280bb966e5c352028a343e45d20a02 (diff)
configure: Add check_builtin convenience function
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure10
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure
index 157517f406..f4c04a34ae 100755
--- a/configure
+++ b/configure
@@ -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"