diff --git a/configure b/configure
index 157517f406f4f502cae828f1a9874d13a9359f33..f4c04a34ae4c83fe5b9b2f5e725e46a118143074 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"