diff options
author | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-20 04:03:24 +0000 |
---|---|---|
committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-20 04:03:24 +0000 |
commit | f11a1f13d2637a7ec1ca1d39248a20b8ecca438b (patch) | |
tree | 4aa1da6358de01ab8625160b0656ed08fd864b11 | |
parent | w3m 0.2.3 rc2 (diff) | |
download | w3m-f11a1f13d2637a7ec1ca1d39248a20b8ecca438b.tar.gz w3m-f11a1f13d2637a7ec1ca1d39248a20b8ecca438b.zip |
w3m 0.2.3 rc3
From: Fumitoshi UKAI <ukai@debian.or.jp>
-rw-r--r-- | ChangeLog | 7 | ||||
-rwxr-xr-x | configure | 7 |
2 files changed, 9 insertions, 5 deletions
@@ -1,3 +1,8 @@ +2001-12-20 Fumitoshi UKAI <ukai@debian.or.jp> + + * w3m 0.2.3 release condidate 3 + * configure (use_bundled_gclib): added + 2001-12-20 Hironori Sakamoto <hsaka@mth.biglobe.ne.jp> * w3m 0.2.3 release candidate 2 @@ -1326,4 +1331,4 @@ * release-0-2-1 * import w3m-0.2.1 -$Id: ChangeLog,v 1.143 2001/12/20 03:39:32 ukai Exp $ +$Id: ChangeLog,v 1.144 2001/12/20 04:03:24 ukai Exp $ @@ -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" |