diff -r b43129be0f04 -r 45ddf096def1 scripts/build/mpfr.sh
--- a/scripts/build/mpfr.sh	Mon Jul 14 15:15:40 2008 +0000
+++ b/scripts/build/mpfr.sh	Thu Oct 23 13:45:48 2008 +0000
@@ -35,7 +35,7 @@
     # do that in the future...
     CT_Pushd "${CT_SRC_DIR}/${CT_MPFR_FILE}"
     if [ ! -f .autotools.ct-ng ]; then
-        CT_DoLog EXTRA "Re-building autotools files"
+        CT_DoLog DEBUG "Re-building autotools files"
         CT_DoExecLog ALL autoreconf -fi
         CT_DoExecLog ALL libtoolize -f
         touch .autotools.ct-ng