Bug#747519: bibtool: "Symbol does not start with a letter" random errors with pipe
On 2015-03-02 14:56:07 +0100, Jerome BENOIT wrote:
> Ok. I will resubmit the bug to the upstream maintainer.
> The last time I submitted it, I could not reproduce the issue.
> And on my side, I could hardly trace it.
This is probably easier to reproduce with the new script I posted
earlier today. Moreover I think that it is also easier on a fast
machine, possibly with several cores.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: