diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-11 20:40:38 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-11 20:40:38 (GMT) |
commit | b35770100ea8ecccc89d94ba8de6b0086456a1be (patch) | |
tree | 0ca523ae9df9ab1c196f273cfb0c3fbc519ac8c7 /configure | |
parent | bfb7f715f23da16cac476e1cc236bee929e2d0a9 (diff) |
Print a little bit of progress in ./configure (computing the version string can be long, especially on networked file systems).
/trunk/configure | 6 6 0 0 ++++++
/trunk/Makefile.in | 14 8 6 0 ++++++++------
2 files changed, 14 insertions(+), 6 deletions(-)
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -123,6 +123,7 @@ fi # If this version is a svn snapshot, try to get the revision number # If we can't get the revision number, use date +echo -n "Computing version string... " case "${VERSION}" in *+svn) REVISION=$(LC_ALL=C svnversion) @@ -137,13 +138,17 @@ case "${VERSION}" in esac ;; esac +echo "${VERSION}" # Check bash is present, and at least version 3.0 +echo -n "Checking bash is at least bash-3.0... " [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash" bash_version=$(/bin/bash -c 'echo ${BASH_VERSION}') bash_major=$(/bin/bash -c 'echo ${BASH_VERSINFO[0]}') [ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (/bin/bash is ${bash_version})" +echo "ok (${bash_version})" +echo -n "Building up Makefile... " sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \ -e "s,@@LIBDIR@@,${LIBDIR},g;" \ -e "s,@@DOCDIR@@,${DOCDIR},g;" \ @@ -152,6 +157,7 @@ sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \ -e "s,@@DATE@@,${DATE},g;" \ -e "s,@@LOCAL@@,${LOCAL_set},g;" \ Makefile.in >Makefile +echo "ok" cat <<__EOF__ crosstool-NG configured as follows: |