diff -r 07b12579841d -r 7439f29a0476 configure
--- a/configure	Thu Apr 02 22:28:10 2009 +0000
+++ b/configure	Mon Apr 20 19:57:16 2009 +0000
@@ -246,7 +246,7 @@
 
 while [ $# -ne 0 ]; do
     case "$1" in
-        --local)    LOCAL_set=1; shift;;
+        --local)    LOCAL_set="y"; shift;;
         --prefix*)  set_prefix "$1" "$2" && shift || shift 2;;
         --bindir*)  set_bindir "$1" "$2" && shift || shift 2;;
         --libdir*)  set_libdir "$1" "$2" && shift || shift 2;;
@@ -262,7 +262,7 @@
 [ -z "${PREFIX}" ] && set_prefix "" "${PREFIX_DEFAULT}"
 
 # Special case when installing locally
-if [ "${LOCAL_set}" = "1" ]; then
+if [ "${LOCAL_set}" = "y" ]; then
     set_prefix "" "$( pwd )"
     set_bindir "" "$( pwd )"
     set_libdir "" "$( pwd )"
@@ -419,5 +419,7 @@
 
 Now run:
   make
-  make install
 __EOF__
+if [ "${LOCAL_set}" = "y" ]; then
+    printf "  make install\n"
+fi