diff options
| author | Cedric Nugteren <web@cedricnugteren.nl> | 2018-07-28 16:01:03 +0200 |
|---|---|---|
| committer | Cedric Nugteren <web@cedricnugteren.nl> | 2018-07-28 16:01:03 +0200 |
| commit | fa84ac36f23c1aebb5facf946b21d8c0f1a4a46d (patch) | |
| tree | 624d3830c45d40561f2e88946f4fd37e5addca74 /doc | |
| parent | dda1e567f872d3d89f2f7cd890fb5b29ff98537c (diff) | |
The tuners now also check for valid local thread configurations and skip invalid ones completely, saving compilation time
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions