summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Niedermayer <michaelni@gmx.at>2013-03-05 12:23:38 +0100
committerMichael Niedermayer <michaelni@gmx.at>2013-03-05 12:23:48 +0100
commit1cb3ca2a67fefa097de12fa163a0be42018592af (patch)
tree90c707251bcf8d3f8d9d0c66e953c78c07083b43
parent890b9c5c466cd4026a5b0388f5ac1e89ce1c69dc (diff)
parent9c7d85b3b45a77742b1e69c48ab33f9c8a2e6f35 (diff)
Merge commit '9c7d85b3b45a77742b1e69c48ab33f9c8a2e6f35'
* commit '9c7d85b3b45a77742b1e69c48ab33f9c8a2e6f35': configure: Add check_builtin convenience function Merged-by: Michael Niedermayer <michaelni@gmx.at>
-rwxr-xr-xconfigure10
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure
index 83b236c034..0c751b949d 100755
--- a/configure
+++ b/configure
@@ -1034,6 +1034,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"