diff options
| author | Marius Bakke <marius@gnu.org> | 2021-12-17 17:13:03 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2021-12-17 19:07:17 +0100 |
| commit | e0559c531425da5a689d14553af7873528b49d09 (patch) | |
| tree | a26e6cb317d55dc4fb3292d2e42d97ea76b2b8da /gnu/packages/patches/bash-linux-pgrp-pipe.patch | |
| parent | d080368cb5159613a1ff6611e55e09b62977383e (diff) | |
gnu: grfcodec: Fix build with GCC 10.
* gnu/packages/patches/grfcodec-gcc-compat.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/game-development.scm (grfcodec)[source](patches): New field.
[arguments]: Remove trailing #t.
Diffstat (limited to 'gnu/packages/patches/bash-linux-pgrp-pipe.patch')
0 files changed, 0 insertions, 0 deletions