.version
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Sun Jun 15 22:02:45 2008 +0000 (2008-06-15) |
| changeset 564 |
30fbb26a83b4 |
| parent 489 |
a44f2ee18392
|
| child 703 |
93f8001fd880 |
| permissions |
-rw-r--r-- |
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(+)