diff options
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 | 
