diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-04-30 15:05:44 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-04-30 15:05:44 +0200 |
commit | 506d7ced5520c3d73d5ef2fc7a33b796a0668ee8 (patch) | |
tree | 48f60942a68b6dbead5ef923afd8032399f8f7bf /biblio | |
parent | 318ec700b330aaf722f19626647fe0a56375cd9d (diff) |
Do build-time tests sequentually. Some of the "diff" tests fail nondeterministically if run in parallel.
Diffstat (limited to 'biblio')
0 files changed, 0 insertions, 0 deletions