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 |