diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-14T13·07+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-14T13·07+0000 |
| commit | 6a8ef36fe62c1b53572b0cf64685ece6190b22e5 (patch) | |
| tree | 67681e9dfe11eec25cb0a0f543a9b027eeb7f5ee /externals | |
| parent | b0aba6ec2ac09d5ecdf0068b91010cdee1caae9d (diff) | |
* Global configuration option `env-keep-derivations' to store pointer
to derivations in user environments. Nice for developers (since it prevents build-time-only dependencies from being GC'ed, in conjunction with `gc-keep-outputs'). Turned off by default.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions