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 |