diff options
| author | Dariqq <6424921-Dariqq@users.noreply.gitlab.com> | 2023-12-27 16:44:06 +0000 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2023-12-28 14:56:11 +0100 |
| commit | 181e3acdf6d619d79945ec7d66ac65ad1d4a8f1a (patch) | |
| tree | f7c261dee068e504cdf6f45306538c02e72c0c40 /nongnu/services | |
| parent | 71a53faf2e1925a309b480f17e5b836740ce54bc (diff) | |
nongnu: linux-4.14: Disable gcc plugins.
* nongnu/packages/linux.scm (linux-4.14): Add additonal config options.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/services')
0 files changed, 0 insertions, 0 deletions