diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-09-09 15:22:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-09-12 18:20:50 +0200 |
| commit | e7e43727ce7b3426a31b2f50b035a5b0aba61d52 (patch) | |
| tree | 6fda0b61a2832e7a545c206259f2ba4eca90f726 /nix/scripts | |
| parent | 24f2334e367e6218617f21e3abb287b211a1dcd1 (diff) | |
gnu: gcc: Work around ARM bootstrapping failure (GCC bug #71399).
* gnu/packages/patches/gcc-arm-bug-71399.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gcc.scm (gcc-4.9)[source]: Use it.
Diffstat (limited to 'nix/scripts')
0 files changed, 0 insertions, 0 deletions