diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-19 22:02:17 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-19 22:02:17 (GMT) |
| commit | 832f9227e1da51381ae5b9fb06499a564fc48ef0 (patch) | |
| tree | 7040af6f2f55750c994083ea8ad569878ec14634 | |
| parent | 6b593896b0018bb5ed1e933e0d3e848b0c5af191 (diff) | |
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(+)
| -rwxr-xr-x | scripts/crosstool.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/crosstool.sh b/scripts/crosstool.sh index 529e553..a58fa24 100755 --- a/scripts/crosstool.sh +++ b/scripts/crosstool.sh @@ -400,6 +400,12 @@ if [ -z "${CT_RESTART}" ]; then 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 @@ if [ "${CT_ONLY_DOWNLOAD}" != "y" -a "${CT_ONLY_EXTRACT}" != "y" ]; then 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" |