diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-06-12 22:55:52 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-13 19:16:14 +0200 |
commit | ff30860b634501f81c346f780d0ab0ff35973f40 (patch) | |
tree | 46e9eb5a27ca54472b34feb6db154791e65490ec /gnu | |
parent | 221a104248c3248459cbc849f482a429f83ca3d7 (diff) |
gnu: perf: Set 'CC'.
* gnu/packages/linux.scm (perf)[arguments]: Add "CC=gcc" to #:make-flags.
This fixes a (harmless?) error message during the 'configure' phase.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/linux.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index ff8c277f95..c3f22acc6d 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -3711,6 +3711,7 @@ in a digital read-out.") #t))) #:make-flags (list (string-append "prefix=" (assoc-ref %outputs "out")) + "CC=gcc" "WERROR=0" ;; By default, 'config/Makefile' uses lib64 on |