From f41604493664f96ef07e7f74934c73736b3942a6 Mon Sep 17 00:00:00 2001
From: Fumitoshi UKAI <ukai@debian.or.jp>
Date: Sun, 9 Dec 2001 13:59:04 +0000
Subject: [w3m-dev 02646] From: Kiyokazu SUTO <suto@ks-and-ks.ne.jp>

---
 configure | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 0e5e0cc..4366f65 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: configure,v 1.34 2001/12/08 11:24:41 ukai Exp $
+# $Id: configure,v 1.35 2001/12/09 13:59:04 ukai Exp $
 #	Configuration.
 #
 
@@ -967,18 +967,20 @@ done
 
 case $sysname in
   linux|Linux|LINUX|aix|Aix|AIX)
-    case $cflags in
-    *DEBIAN*)
-      # on Debian, we can use libgc*.deb
-      :;;
-    *)
-      # these OS requires gcmain.c, which include gc/gc_priv.h
-      # therefore we use gc library comes with w3m
-      echo "Your OS is $sysname; using gc library comes with w3m."
-      gcinclude=""
-      gclib=""
-      ;;
-    esac
+    if [ ! -f "$gcinclude/private/gc_priv.h" ]; then
+      case $cflags in
+      *DEBIAN*)
+        # on Debian, we can use libgc*.deb
+        :;;
+      *)
+        # these OS requires gcmain.c, which include gc/gc_priv.h
+        # therefore we use gc library comes with w3m
+        echo "Your OS is $sysname; using gc library comes with w3m."
+        gcinclude=""
+        gclib=""
+        ;;
+      esac
+   fi
   ;;
 esac
 
-- 
cgit v1.2.3