diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-09-03 23:25:04 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-09-03 23:26:53 +0200 |
commit | 84f38f036fa0099a0b089437d2d999cc1723a5c3 (patch) | |
tree | c4de8c4b00ec54f7f0af6d69a2e0fc2d067c1046 /.gitignore | |
parent | 8e6c9005b4be6f9208ccf85c58cc4a7693fc2397 (diff) | |
download | guix-patches-84f38f036fa0099a0b089437d2d999cc1723a5c3.tar guix-patches-84f38f036fa0099a0b089437d2d999cc1723a5c3.tar.gz |
ci: In the 'core' subset, build GCC >= 7.
Suggested by Jan Nieuwenhuizen <janneke@gnu.org>.
* gnu/ci.scm (%core-packages): Keep only GCC >= 7.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions