diff options
| author | Marius Bakke <[email protected]> | 2022-07-21 16:34:29 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2022-07-23 19:43:11 +0200 |
| commit | 9fcc169d6c548ba464c660a91c3e75a4350f38f9 (patch) | |
| tree | ec3dcd853887bef199098a7f16442b051ccb84fe /gnu/packages/patches/libmpeg2-global-symbol-test.patch | |
| parent | e9bac3e872f72eae5624e30d8ef3a0edd0113100 (diff) | |
gnu: source-highlight: Fix build with newer GCC.
* gnu/packages/patches/source-highlight-gcc-compat.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/pretty-print.scm (source-highlight)[source](patches): New field.
Diffstat (limited to 'gnu/packages/patches/libmpeg2-global-symbol-test.patch')
0 files changed, 0 insertions, 0 deletions