diff options
| author | Steve Kemp <steve@steve.org.uk> | 2016-01-18 14:13:24 +0200 |
|---|---|---|
| committer | Steve Kemp <steve@steve.org.uk> | 2016-01-18 14:13:24 +0200 |
| commit | fbd4e3bf99afbc80012d6dc029be19e1bd8e6890 (patch) | |
| tree | 30104c04fb5eb11dadb2b32028ca48971704f226 /Makefile | |
| parent | cee58bfa0e6fbcd3d147a7f7a694187d36ef9368 (diff) | |
Updated the queue-handling.
We now use a zset to store our pending tests. This means that
jobs are only in the queue once - no duplicates are allowed.
This closes #12428.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions