diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-15 22:02:45 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-15 22:02:45 (GMT) |
| commit | 1eaa6e6cbfffd7ac8c70ed11d87d348a6c11a49b (patch) | |
| tree | d98543aeeed04485d0ec1280fde992dffb0b5a81 /patches | |
| parent | d48ade3ec87496c9cce9482efe8b998e59af9901 (diff) | |
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(+)
Diffstat (limited to 'patches')
0 files changed, 0 insertions, 0 deletions