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 /Makefile.am | |
parent | 6e119bad60b3c1aa3b13f5b6d7e8c2987d3453d0 (diff) |
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 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index ddbf7a7984..85b9ab36d2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -102,6 +102,7 @@ MODULES = \ guix/http-client.scm \ guix/gnupg.scm \ guix/elf.scm \ + guix/profiling.scm \ guix/store.scm \ guix/cvs-download.scm \ guix/svn-download.scm \ |