# HG changeset patch
# User diego
# Date 1276715346 0
# Node ID d005a8241decae9731bb91867c346372ce3bb68f
# Parent  15e7671925faf2db6f97559bbb3cdb8048c25b39
Add header_check convenience function to check for header availability.

diff -r 15e7671925fa -r d005a8241dec configure
--- a/configure	Wed Jun 16 18:59:59 2010 +0000
+++ b/configure	Wed Jun 16 19:09:06 2010 +0000
@@ -81,6 +81,15 @@
   compile_check $TMPCPP $@ -lstdc++
 }
 
+header_check() {
+  cat > $TMPC << EOF
+#include <$1>
+int main(void) { return 0; }
+EOF
+  shift
+  compile_check $TMPC $@
+}
+
 yasm_check() {
   echo >> "$TMPLOG"
   cat "$TMPS" >> "$TMPLOG"