diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 11:47:39 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:28:05 +0100 |
| commit | d4623d50edac4a6e81f5986a91c2818f5fc4965d (patch) | |
| tree | c5e2bb5ed346a99d80d8f52debad62d89530af18 /build-aux | |
| parent | base: Disable builder output. (diff) | |
| download | cuirass-d4623d50edac4a6e81f5986a91c2818f5fc4965d.tar.gz | |
base: Register GC roots for build results.
Fixes <https://bugs.gnu.org/33124>.
* src/cuirass/base.scm (%gc-root-directory, %gc-root-ttl): New variables.
(gc-root-expiration-time, register-gc-root): New procedures.
(handle-build-event)[gc-roots]: New procedure.
Upon 'build-succeeded' events, call 'register-gc-root' and
'maybe-remove-expired-cache-entries'.
* bin/cuirass.in (show-help, %options): Add '--ttl'.
(main): Parameterize %GC-ROOT-TTL. Create %GC-ROOT-DIRECTORY.
* doc/cuirass.texi (Invocation): Document '--ttl'.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions