summaryrefslogtreecommitdiff
path: root/gnu/services
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-03-04 17:20:03 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2018-03-04 18:03:46 +0100
commitac1a9ce8b07f3b80900ee08436ff6e683e8dc195 (patch)
treeeb228fc8645a35df24562cc350f21521aabcde0f /gnu/services
parent635dd0cc96a5d06933a52a48bb9520efbd567550 (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