# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1213912937 0
# Node ID c27787270792ac11c0739c09bb2df82afff83aea
# Parent  363c7dd41131be04b2078614758f0364c9b4fc0d
Backport #698 from trunk:
  Workaround makeinfo being picky at its input (we don't need documentation, do we?)

 /branches/1.1/scripts/crosstool.sh |    7     7     0     0 +++++++
 1 file changed, 7 insertions(+)

diff -r 363c7dd41131 -r c27787270792 scripts/crosstool.sh
--- a/scripts/crosstool.sh	Thu Jun 19 21:59:26 2008 +0000
+++ b/scripts/crosstool.sh	Thu Jun 19 22:02:17 2008 +0000
@@ -400,6 +400,12 @@
         fi |CT_DoLog DEBUG
     done
 
+    # Some makeinfo versions are a pain in [put your most sensible body part here].
+    # Go ahead with those, by creating a wrapper that keeps partial files, and that
+    # never fails:
+    echo -e "#!/bin/sh\n$(CT_Which makeinfo) --force \"\${@}\"\ntrue" >"${CT_PREFIX_DIR}/bin/makeinfo"
+    chmod 700 "${CT_PREFIX_DIR}/bin/makeinfo"
+
     # Help gcc
     CT_CFLAGS_FOR_HOST=
     [ "${CT_USE_PIPES}" = "y" ] && CT_CFLAGS_FOR_HOST="${CT_CFLAGS_FOR_HOST} -pipe"
@@ -500,6 +506,7 @@
     find "${CT_PREFIX_DIR}/bin" -name "${CT_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
     find "${CT_PREFIX_DIR}/bin" -name "${CT_UNIQ_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
     find "${CT_PREFIX_DIR}/bin" -name "${CT_HOST}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
+    rm -fv "${CT_PREFIX_DIR}/bin/makeinfo" |CT_DoLog DEBUG
 
     # Install the /populator/
     CT_DoLog EXTRA "Installing the populate helper"