diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-06-28 10:13:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-19 23:52:24 +0100 |
| commit | 73b0ebdd5e3bdda378d354e7388a56dd33da6225 (patch) | |
| tree | abb7873a96090ffe6d5b86700fdc9499ef8b8e2d /guix/profiles.scm | |
| parent | 207a79b2fee516abb138b8e144f17927fc41070b (diff) | |
| download | gnu-guix-73b0ebdd5e3bdda378d354e7388a56dd33da6225.tar gnu-guix-73b0ebdd5e3bdda378d354e7388a56dd33da6225.tar.gz | |
store: Add 'GUIX_PROFILING' support for the object cache.
* guix/store.scm (profiled?): New procedure.
(record-operation): Use it.
(record-cache-lookup!): New procedure.
(lookup-cached-object): Use it.
Diffstat (limited to 'guix/profiles.scm')
0 files changed, 0 insertions, 0 deletions