changeset 32165:79c75e3076c5

Simplify libggiwmh check.
author diego
date Tue, 14 Sep 2010 17:20:49 +0000
parents 07c3c20985e0
children e9c91deb192e
files configure
diffstat 1 files changed, 3 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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