diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-01-25 11:31:06 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-25 11:31:06 +0100 |
commit | c2cbee8b4f19924ef374e480981645328cbe9a00 (patch) | |
tree | 572667dabe9e68269950dbe0ff5c4fb4613f37d3 /Makefile.am | |
parent | 71fb7eac921f83fe1fbaf6da157f531f09d61718 (diff) | |
download | cuirass-c2cbee8b4f19924ef374e480981645328cbe9a00.tar cuirass-c2cbee8b4f19924ef374e480981645328cbe9a00.tar.gz |
base: Delete duplicate builds when restarting them.
* src/cuirass/base.scm (build-derivation=?): New procedure.
(restart-builds): Call 'delete-duplicates' on BUILDS.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions