tree 070656b7e7ed06ba65920752375e87fa66633837
parent 5ec4dd425580676936620459888a363dd0d0d777
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1130814521 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1130814521 +0000

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