From 65dabe4e18478d76a474037ffc773971b9c611bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludovic.courtes@inria.fr>
Date: Tue, 17 Oct 2017 13:17:54 +0200
Subject: [PATCH] gnu: perf: Find 'tips.txt'.
* gnu/packages/linux.scm (perf)[arguments]: Use "prefix", not
"DESTDIR". This allows 'perf report' to find 'tips.txt'.
---
gnu/packages/linux.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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"