diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-05 10:53:59 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-05 10:53:59 +0000 |
commit | 109d8ec7be460ef0fd708ebd118e45edeb445256 (patch) | |
tree | 5c523e17df0cb83adae7e80a3abecf5ff32f4b82 /reproduce/config | |
parent | e0c4bd9eb46832302b6ceea0e379b438d3553bd9 (diff) |
Configuring on multiple threads
Until now we had constrained the configuration step to one thread to easily
see failures on other systems. But with most tests passing successfully
now, we are using the total number of available threads.
Diffstat (limited to 'reproduce/config')
0 files changed, 0 insertions, 0 deletions