# HG changeset patch
# User diego
# Date 1284636563 0
# Node ID ee16bbd816a9164adde30f431e7a6727dde010d9
# Parent  bfd250df736d07f4fb65c595e7468aaaafd3461f
Simplify libggiwmh check using function_check().

diff -r bfd250df736d -r ee16bbd816a9 configure
--- a/configure	Thu Sep 16 11:26:16 2010 +0000
+++ b/configure	Thu Sep 16 11:29:23 2010 +0000
@@ -4697,10 +4697,6 @@
 echocheck "GGI extension: libggiwmh"
 if test "$_ggiwmh" = auto ; then
   _ggiwmh=no
-  cat > $TMPC << EOF
-#include <ggi/wmh.h>
-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