diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-01-05 15:03:06 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-01-05 15:03:06 +0100 |
| commit | a5903e74d9cf54c764d5bbc48e461cecd5f56e72 (patch) | |
| tree | 158308fb452e92b47e56259110febe6ffa63e629 /GNUmakefile | |
| parent | a583cd7e3eecef4c70ac09304495c765a84e76ce (diff) | |
Don't preschedule multistart runs
Sometimes a lot of them fail, so we were wasting time
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions