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>
This commit is contained in:
Dariqq 2023-12-27 16:44:06 +00:00 committed by Jonathan Brielmaier
parent 71a53faf2e
commit 181e3acdf6
No known key found for this signature in database
GPG key ID: ECFC83988B4E4B9F

View file

@ -122,7 +122,12 @@ on hardware which requires nonfree software to function."))))
(corrupt-linux linux-libre-4.19)) (corrupt-linux linux-libre-4.19))
(define-public linux-4.14 (define-public linux-4.14
(corrupt-linux linux-libre-4.14)) (corrupt-linux linux-libre-4.14
#:configs
'("# CONFIG_GCC_PLUGIN_CYC_COMPLEXITY is not set"
"# CONFIG_GCC_PLUGIN_LATENT_ENTROPY is not set"
"# CONFIG_GCC_PLUGIN_STRUCTLEAK is not set"
"# CONFIG_GCC_PLUGIN_RANDSTRUCT is not set")))
(define-public linux linux-6.6) (define-public linux linux-6.6)
;; linux-lts points to the *newest* released long-term support version. ;; linux-lts points to the *newest* released long-term support version.