diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2003-01-22 16:36:11 +0000 | 
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2003-01-22 16:36:11 +0000 | 
| commit | a0300c84b82cf33345bdd455ee68dea7585756d1 (patch) | |
| tree | da9af1777ab5cca06879fc1d391b3b8372a14697 /configure | |
| parent | [w3m-dev 03677] view source, edit source (diff) | |
| download | w3m-a0300c84b82cf33345bdd455ee68dea7585756d1.tar.gz w3m-a0300c84b82cf33345bdd455ee68dea7585756d1.zip | |
[w3m-dev 03678] Re: config.param is clear when configure -help
* configure: don't override config.param
From: Fumitoshi UKAI  <ukai@debian.or.jp>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 17 | 
1 files changed, 9 insertions, 8 deletions
| @@ -1,5 +1,5 @@  #!/bin/sh -# $Id: configure,v 1.94 2003/01/22 15:53:12 ukai Exp $ +# $Id: configure,v 1.95 2003/01/22 16:36:11 ukai Exp $  #	Configuration.  # @@ -22,13 +22,6 @@ sysversion3=`echo $sysversion | awk -F. '{print $3}'`  echo $sysname $sysversion1 $sysversion2 $sysversion3 /$platform at $host -if [ -f config.param ] ; then -	confhost=`awk 'NR==1{print $4}' config.param` -	if [ "$confhost" = "$host" ] ; then -          . ./config.param -	fi -fi -  # parameters:  prefix=/usr/local @@ -38,6 +31,14 @@ gc_includedir=  gc_libdir=  mimetypes= +# local overrides +if [ -f config.param ] ; then +	confhost=`awk 'NR==1{print $4}' config.param` +	if [ "$confhost" = "$host" ] ; then +          . ./config.param +	fi +fi +  all_yes=0  while [ $# -gt 0 ]  do | 
