diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-05-28 17:45:38 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-06-08 09:25:49 +0200 |
| commit | 6bd3d4fe06a65db5356f4eec43a505a47acc3934 (patch) | |
| tree | adfc7d7dc5005b862a91091374363ae492f5626b /gnu | |
| parent | 0a3c723e0771e488cad79ae7c6f20bc83023eeb0 (diff) | |
grafts: Record cache lookups for profiling.
* guix/grafts.scm (record-cache-lookup!): New procedure.
(with-cache): Use it.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions