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 | |
| 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')
| -rw-r--r-- | gnu/packages/linux.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 1099da6fb1..652b7d3507 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -2506,7 +2506,7 @@ in a digital read-out.") (setenv "SHELL_PATH" (which "bash")) (chdir "tools/perf") #t))) - #:make-flags (list (string-append "DESTDIR=" + #:make-flags (list (string-append "prefix=" (assoc-ref %outputs "out")) "WERROR=0" |