diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-11 14:56:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-15 20:24:08 +0100 |
| commit | 461d6c2effb8520ecb088854efd517e2efd28d30 (patch) | |
| tree | 48c448d6c0abf8e1c4c990ebddcc606acbbcc61f /gnu/packages/php.scm | |
| parent | eac7ed195b054baf7c153581b186f1519aca4851 (diff) | |
profiling: Add a "gc" profiling component.
* guix/profiling.scm (show-gc-stats): New procedure.
<top level>: Call 'register-profiling-hook!'.
Diffstat (limited to 'gnu/packages/php.scm')
0 files changed, 0 insertions, 0 deletions