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 /tests/pki.scm | |
parent | 831f07a009e2a4d84d257ff6e07341971b0fb6e8 (diff) | |
download | guix-7394e264fced0d17dcbe98881624be8fa83165e3.tar.gz guix-7394e264fced0d17dcbe98881624be8fa83165e3.zip |
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 'tests/pki.scm')
0 files changed, 0 insertions, 0 deletions