summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDiego Biurrun <diego@biurrun.de>2013-03-04 22:59:41 +0100
committerDiego Biurrun <diego@biurrun.de>2013-03-05 11:04:37 +0100
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"