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 /build-aux/git-version-gen | |
| 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 'build-aux/git-version-gen')
0 files changed, 0 insertions, 0 deletions