gnu: perf: Work around GCC bug.
authorLudovic Courtès <ludo@gnu.org>
Mon, 4 Jun 2018 11:14:12 +0000 (13:14 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 4 Jun 2018 12:03:54 +0000 (14:03 +0200)
commit7394e264fced0d17dcbe98881624be8fa83165e3
tree54606cdd67c6c224b3d778151f22adab330955b8
parent831f07a009e2a4d84d257ff6e07341971b0fb6e8
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.
gnu/local.mk
gnu/packages/linux.scm
gnu/packages/patches/perf-gcc-ice.patch [new file with mode: 0644]