diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-06-28 10:13:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-12 18:11:22 +0100 |
| commit | 03870da81922ccb6cc1a91976487f2d3f7da0d81 (patch) | |
| tree | fe93a2ae9f7fc0c3ba124961cce48b76fdd9eae3 /.gitignore | |
| parent | 6e119bad60b3c1aa3b13f5b6d7e8c2987d3453d0 (diff) | |
| download | guix-03870da81922ccb6cc1a91976487f2d3f7da0d81.tar guix-03870da81922ccb6cc1a91976487f2d3f7da0d81.tar.gz | |
Add (guix profiling).
* guix/profiling.scm: New file.
* Makefile.am (MODULES): Add it.
* guix/store.scm (record-operation): Use 'profiled?' and
'register-profiling-hook!'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions