diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-04-20 19:57:16 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-04-20 19:57:16 (GMT) |
commit | 06b48c151814a0dd5611478beee69d6f3185d467 (patch) | |
tree | 074e422e460e40d8a010fd374613476845175856 /configure | |
parent | 99db580108f61f11b63bb0bd84d731b127a20ba2 (diff) |
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(-)
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -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 |