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 source config/global.in
2 source config/target.in
3 source config/toolchain.in
4 source config/kernel.in
5 source config/gmp_mpfr.in
6 source config/binutils.in
10 source config/debug.in