[w3m-dev 03678] Re: config.param is clear when configure -help
* configure: don't override config.param From: Fumitoshi UKAI <ukai@debian.or.jp>
This commit is contained in:
17
configure
vendored
17
configure
vendored
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user