diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2021-08-18 21:57:42 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-08-18 22:19:51 +0200 |
| commit | 825b245f0d3c705f10afc35f01236ba6b0140632 (patch) | |
| tree | f541a8c264bfd8acc12c6603b7c07af2970074eb /doc/tools | |
| parent | f6626a40e5abc0d2fa2ece53ce501df716841c09 (diff) | |
SCons: Fix potential error when pruning cache on CI
This could cause spurious errors on CI when trying to prune the cache,
as for some reason it tries to remove files/paths which do not exist.
That points at a bug in the `cache_progress` logic but at least this
workaround should prevent CI failures.
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions