diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-04 17:20:03 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-04 18:03:46 +0100 |
| commit | ac1a9ce8b07f3b80900ee08436ff6e683e8dc195 (patch) | |
| tree | eb228fc8645a35df24562cc350f21521aabcde0f /gnu/services | |
| parent | 635dd0cc96a5d06933a52a48bb9520efbd567550 (diff) | |
gnu: papi: Update phase style.
* gnu/packages/profiling.scm (papi)[arguments]: Substitute INVOKE for
SYSTEM*, end phases with #t, and don't explicitly install LICENSE.txt.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions