Mats Wichmann

While on the subject of the cachedir, should there be an option to prune the cache (flush old entries)?

@bdbaddog let's make a call on this one - implement or reject, no point in just leaving it sitting here. Use of a cachedir I'd expect to be a relatively...

It shouldn't be hard. I just looked and the other cachedir cli args modify module-globals in CacheDir.py. There's one for cachedir enabled, which is implied, but there isn't one for...

Setting aside embedding, I wonder if fiddling the relevant `for_signature` could help - if a variantdir is active, don't include the variantdir part in the calculation. The interpretation of what...

```xml index 98725d5ed..dbc60c415 100644 --- a/doc/man/scons.xml +++ b/doc/man/scons.xml @@ -708,6 +708,20 @@ derived-file cache specified by &f-link-CacheDir;. + + --cache-dir=cachedir + +Enable derived-file caching globally, using +cachedir as the cache...

A checklist of things to work out. This was supposed to be a *simple* change (cough, cough). * [ ] Does command-line cachedir override global cachedir if both specified? See...

Yeah, these days Python itself defaults to utf-8 (for the most part), and we're forcing it in that case, that's not necessarily the case for an external command.

To some of the above: `sys.getdefaultencoding()` is not useful, it's *defined* to return `utf-8` these days. That's for Python. `locale.getencoding()` is far more interesting. > `sys.getdefaultencoding()` > Return 'utf-8'. This...

I've done that too, but it needs to be a different enough locale to trigger the problem.

A reproducer is not that trivial for us to set up - we need to cause a file to be written in utf-8 encoding that a non-Python program is going...