| commit | 163566b0f3203836b5f32059c200886268aab9ff | [log] [tgz] |
|---|---|---|
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Nov 01 03:08:41 2005 +0000 |
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Nov 01 03:08:41 2005 +0000 |
| tree | 070656b7e7ed06ba65920752375e87fa66633837 | |
| parent | 5ec4dd425580676936620459888a363dd0d0d777 [diff] |
If pdfxmltex bombs, as it so often does, at least cause the build to come to a halt rather than just hanging. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4975 a5019735-40e9-0310-863c-91ae7b9d1cf9