Set the execute bit on generated script at build time, not install time.

Do not advertise "make install" when ./configure-d with "--local".

 -------- diffstat follows --------
 /trunk/configure   |    8     5     3     0 +++++---
 /trunk/Makefile.in |   10     3     7     0 +++-------
 2 files changed, 8 insertions(+), 10 deletions(-)

1 files changed, 5 insertions, 3 deletions

diff --git a/configure b/configure
index fde61a6..677b258 100755
--- a/configure
+++ b/configure
@@ -246,7 +246,7 @@ __EOF__
 
 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 @@ done
 [ -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 @@ crosstool-NG configured as follows:
 
 Now run:
   make
-  make install
 __EOF__
+if [ "${LOCAL_set}" = "y" ]; then
+    printf "  make install\n"
+fi