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 /guix/modules.scm | |
parent | 6e119bad60b3c1aa3b13f5b6d7e8c2987d3453d0 (diff) | |
download | guix-patches-03870da81922ccb6cc1a91976487f2d3f7da0d81.tar guix-patches-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 'guix/modules.scm')
0 files changed, 0 insertions, 0 deletions