diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-12-13 17:16:40 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-13 17:16:40 +0100 |
commit | cc6a4b03867bc18baf30c0239c3c6dbf0709de7a (patch) | |
tree | a698228dc46ab8d0ee27ad25696ecb4e8bfd4229 /gnu | |
parent | 22358bdb7c75e571fd7922ef04e82be0a14cc698 (diff) | |
download | guix-patches-cc6a4b03867bc18baf30c0239c3c6dbf0709de7a.tar guix-patches-cc6a4b03867bc18baf30c0239c3c6dbf0709de7a.tar.gz |
pull: Add (guix profiling) to the build environment.
Reported by Ricardo Wurmus.
* build-aux/build-self.scm (build): Add (guix profiling).
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions