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 # Overall toolchain configuration: paths, jobs, etc...
3 menu "Paths and misc options"
5 source "config/global/ct-behave.in"
6 source "config/global/paths.in"
7 source "config/global/download.in"
8 source "config/global/extract.in"
9 source "config/global/build-behave.in"
10 source "config/global/logging.in"