# HG changeset patch
# User diego
# Date 1284484849 0
# Node ID 79c75e3076c57ad5ac9282797e7e17807a412db7
# Parent  07c3c20985e0eb79476dec2e21e72615c2201691
Simplify libggiwmh check.

diff -r 07c3c20985e0 -r 79c75e3076c5 configure
--- a/configure	Tue Sep 14 17:14:34 2010 +0000
+++ b/configure	Tue Sep 14 17:20:49 2010 +0000
@@ -4730,11 +4730,10 @@
 if test "$_ggiwmh" = auto ; then
   _ggiwmh=no
   cat > $TMPC << EOF
-#include <ggi/ggi.h>
 #include <ggi/wmh.h>
-int main(void) { ggiInit(); ggiWmhInit(); return 0; }
-EOF
-  cc_check -lggi -lggiwmh && _ggiwmh=yes
+int main(void) { ggiWmhInit(); return 0; }
+EOF
+  function_check ggi/wmh.h 'ggiWmhInit()' -lggi -lggiwmh && _ggiwmh=yes
 fi
 # needed to get right output on obscure combination
 # like --disable-ggi --enable-ggiwmh