diff options
| author | Dave Love <fx@gnu.org> | 2017-10-02 21:48:43 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-03 17:07:55 +0200 |
| commit | 6a3af24f062350751ab70ba21bdcf8792b6624d6 (patch) | |
| tree | 8b4882db42f16b6e4e2b360a34233f6b5233bf6b /gnu/local.mk | |
| parent | 65d98906b87ce03e9e991fc3f336e5d62f0571a4 (diff) | |
| download | guix-6a3af24f062350751ab70ba21bdcf8792b6624d6.tar.gz | |
gnu: Add papi.
* gnu/packages/profiling.scm: New file. * gnu/local.mk: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index cceada5ae6..d5fb935e33 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -326,6 +326,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/plotutils.scm \ %D%/packages/polkit.scm \ %D%/packages/popt.scm \ + %D%/packages/profiling.scm \ %D%/packages/pth.scm \ %D%/packages/pulseaudio.scm \ %D%/packages/pumpio.scm \ |