diff options
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 |