1.1 --- a/configure	Thu Apr 02 22:28:10 2009 +0000
     1.2 +++ b/configure	Mon Apr 20 19:57:16 2009 +0000
     1.3 @@ -246,7 +246,7 @@
     1.4  
     1.5  while [ $# -ne 0 ]; do
     1.6      case "$1" in
     1.7 -        --local)    LOCAL_set=1; shift;;
     1.8 +        --local)    LOCAL_set="y"; shift;;
     1.9          --prefix*)  set_prefix "$1" "$2" && shift || shift 2;;
    1.10          --bindir*)  set_bindir "$1" "$2" && shift || shift 2;;
    1.11          --libdir*)  set_libdir "$1" "$2" && shift || shift 2;;
    1.12 @@ -262,7 +262,7 @@
    1.13  [ -z "${PREFIX}" ] && set_prefix "" "${PREFIX_DEFAULT}"
    1.14  
    1.15  # Special case when installing locally
    1.16 -if [ "${LOCAL_set}" = "1" ]; then
    1.17 +if [ "${LOCAL_set}" = "y" ]; then
    1.18      set_prefix "" "$( pwd )"
    1.19      set_bindir "" "$( pwd )"
    1.20      set_libdir "" "$( pwd )"
    1.21 @@ -419,5 +419,7 @@
    1.22  
    1.23  Now run:
    1.24    make
    1.25 -  make install
    1.26  __EOF__
    1.27 +if [ "${LOCAL_set}" = "y" ]; then
    1.28 +    printf "  make install\n"
    1.29 +fi