diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2017-10-17 13:17:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-17 13:24:02 +0200 |
| commit | 65dabe4e18478d76a474037ffc773971b9c611bb (patch) | |
| tree | a0d8086b93ba073fac84119a9c4402e3ff0545de /gnu/packages/package-management.scm | |
| parent | 1d484507dce7bfeaa579f49f12a3a00412f807af (diff) | |
gnu: perf: Find 'tips.txt'.
* gnu/packages/linux.scm (perf)[arguments]: Use "prefix", not
"DESTDIR". This allows 'perf report' to find 'tips.txt'.
Diffstat (limited to 'gnu/packages/package-management.scm')
0 files changed, 0 insertions, 0 deletions