1.1 --- a/scripts/crosstool.sh	Thu May 15 20:42:45 2008 +0000
     1.2 +++ b/scripts/crosstool.sh	Fri Jun 20 06:10:08 2008 +0000
     1.3 @@ -400,6 +400,12 @@
     1.4          fi |CT_DoLog DEBUG
     1.5      done
     1.6  
     1.7 +    # Some makeinfo versions are a pain in [put your most sensible body part here].
     1.8 +    # Go ahead with those, by creating a wrapper that keeps partial files, and that
     1.9 +    # never fails:
    1.10 +    echo -e "#!/bin/sh\n$(CT_Which makeinfo) --force \"\${@}\"\ntrue" >"${CT_PREFIX_DIR}/bin/makeinfo"
    1.11 +    chmod 700 "${CT_PREFIX_DIR}/bin/makeinfo"
    1.12 +
    1.13      # Help gcc
    1.14      CT_CFLAGS_FOR_HOST=
    1.15      [ "${CT_USE_PIPES}" = "y" ] && CT_CFLAGS_FOR_HOST="${CT_CFLAGS_FOR_HOST} -pipe"
    1.16 @@ -500,6 +506,7 @@
    1.17      find "${CT_PREFIX_DIR}/bin" -name "${CT_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
    1.18      find "${CT_PREFIX_DIR}/bin" -name "${CT_UNIQ_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
    1.19      find "${CT_PREFIX_DIR}/bin" -name "${CT_HOST}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
    1.20 +    rm -fv "${CT_PREFIX_DIR}/bin/makeinfo" |CT_DoLog DEBUG
    1.21  
    1.22      # Install the /populator/
    1.23      CT_DoLog EXTRA "Installing the populate helper"