From f11a1f13d2637a7ec1ca1d39248a20b8ecca438b Mon Sep 17 00:00:00 2001
From: Fumitoshi UKAI <ukai@debian.or.jp>
Date: Thu, 20 Dec 2001 04:03:24 +0000
Subject: w3m 0.2.3 rc3 From: Fumitoshi UKAI <ukai@debian.or.jp>

---
 configure | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 72c199a..2506b61 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: configure,v 1.39 2001/12/20 03:39:32 ukai Exp $
+# $Id: configure,v 1.40 2001/12/20 04:03:24 ukai Exp $
 #	Configuration.
 #
 
@@ -1013,9 +1013,8 @@ EOF
     echo "GC_version is $gcversion."    
     if [ $gcversion -lt $mygcversion ]; then
       echo "GC library on your system seems to be old."
-      echo "Do you want to use GC library comes with w3m?"
-      yesno ans y y
-      if [ "$ans" = 'n' -o "$ans" = 'N' ]; then
+      ask_param "Do you want to use GC library comes with w3m?" "use_bundled_gclib" y
+      if [ "$use_bundled_gclib" = 'n' -o "$use_bundled_gclib" = 'N' ]; then
         cflags="$cflags -I$gcinclude"
       else
         cflags="$cflags -I./gc/include"
-- 
cgit v1.2.3