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 /gnu/packages/package-management.scm | |
| parent | 8e6c9005b4be6f9208ccf85c58cc4a7693fc2397 (diff) | |
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 'gnu/packages/package-management.scm')
0 files changed, 0 insertions, 0 deletions