aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2017-10-17 13:17:54 +0200
committerLudovic Courtès <ludo@gnu.org>2017-10-17 13:24:02 +0200
commit65dabe4e18478d76a474037ffc773971b9c611bb (patch)
treea0d8086b93ba073fac84119a9c4402e3ff0545de /gnu
parent1d484507dce7bfeaa579f49f12a3a00412f807af (diff)
downloadpatches-65dabe4e18478d76a474037ffc773971b9c611bb.tar
patches-65dabe4e18478d76a474037ffc773971b9c611bb.tar.gz
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')
-rw-r--r--gnu/packages/linux.scm2
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"