diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-01-26 14:06:09 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-26 14:06:09 +0100 |
| commit | 44f95d407c3dad0e86d31b8590b45a948242eca2 (patch) | |
| tree | 38b345bc980f22117d5fecdc27788a863d8f452a /tests | |
| parent | 047e9271268f7f35df9741950fc2ae462d551ed2 (diff) | |
| download | cuirass-44f95d407c3dad0e86d31b8590b45a948242eca2.tar cuirass-44f95d407c3dad0e86d31b8590b45a948242eca2.tar.gz | |
base: Do not restart builds that turn out to have succeeded already.
* src/cuirass/base.scm (restart-builds): Mark as succeeded the subset of
VALID with at least one valid output.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions