Some makeinfo versions are a pain in [somewhere very painful].
Work this around with a wrapper that always succeeds, and leave incomplete files in place.
/trunk/scripts/crosstool.sh | 7 7 0 0 +++++++
1 file changed, 7 insertions(+)
11 # CT_INSERT_VERSION_ABOVE
12 # Don't remove above line!
17 default "4.2.2" if GMP_V_4_2_2
18 # CT_INSERT_VERSION_STRING_ABOVE
19 # Don't remove above line!
26 It is highly recommended that 'make check' is run against the newly built
27 GMP library. See http://gmplib.org/