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(+)
1 diff -dur ELFkickers.orig/sstrip/Makefile ELFkickers/sstrip/Makefile
2 --- ELFkickers.orig/sstrip/Makefile 2001-03-24 12:58:27.000000000 +0100
3 +++ ELFkickers/sstrip/Makefile 2007-05-31 21:17:18.000000000 +0200
8 - gcc -ggdb -Wall -W -o sstrip sstrip.c
9 + $(CC) -Wall -W -o sstrip sstrip.c