# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1184418591 0
# Node ID e525ec498b58ee30a7ba4ecb5498ef0bc01a5f55
# Parent  0f63d92021eaf38c448a71fb785918fa8dc7a2a6
Print a message when installing populate.

diff -r 0f63d92021ea -r e525ec498b58 scripts/crosstool.sh
--- a/scripts/crosstool.sh	Sat Jul 14 13:09:17 2007 +0000
+++ b/scripts/crosstool.sh	Sat Jul 14 13:09:51 2007 +0000
@@ -425,6 +425,7 @@
     done
 
     # Install the /populator/
+    CT_DoLog EXTRA "Installing the populate helper"
     sed -r -e 's,@@CT_READELF@@,'"${CT_PREFIX_DIR}/bin/${CT_TARGET}-readelf"',g;'   \
            -e 's,@@CT_SYSROOT_DIR@@,'"${CT_SYSROOT_DIR}"',g;'                       \
            "${CT_LIB_DIR}/tools/populate.in" >"${CT_PREFIX_DIR}/bin/${CT_TARGET}-populate"