diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-04 13:14:12 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-04 14:03:54 +0200 |
| commit | 7394e264fced0d17dcbe98881624be8fa83165e3 (patch) | |
| tree | 54606cdd67c6c224b3d778151f22adab330955b8 /gnu/packages/linux.scm | |
| parent | 831f07a009e2a4d84d257ff6e07341971b0fb6e8 (diff) | |
gnu: perf: Work around GCC bug.
Works around <https://bugs.gnu.org/31708>.
* gnu/packages/patches/perf-gcc-ice.patch: New patch.
* gnu/packages/linux.scm (perf)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/packages/linux.scm')
| -rw-r--r-- | gnu/packages/linux.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 8c121412608..4d521f71b37 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -2500,7 +2500,9 @@ in a digital read-out.") (package (name "perf") (version (package-version linux-libre)) - (source (package-source linux-libre)) + (source (origin + (inherit (package-source linux-libre)) + (patches (search-patches "perf-gcc-ice.patch")))) (build-system gnu-build-system) (arguments '(#:phases |