Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.kernel > #83304

Bug#1077827: even with [[featureset]] name = 'rt' enable = false in config.local/defines.toml, linux-headers-*-common-rt is still getting built

From Johannes Schauer Marin Rodrigues <josch@debian.org>
Newsgroups linux.debian.bugs.dist, linux.debian.kernel
Subject Bug#1077827: even with [[featureset]] name = 'rt' enable = false in config.local/defines.toml, linux-headers-*-common-rt is still getting built
Date 2024-08-03 02:00 +0200
Message-ID <J7alI-2iI2-7@gated-at.bofh.it> (permalink)
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw


Source: linux
Severity: normal

Hi,

steps to reproduce:

cat << END >> debian/config.local/defines.toml
[[featureset]]
name = 'rt'
enable = false
END

according to Ben [1] this should disable the rt build and it mostly does but
the package linux-headers-*-common-rt will still be built.

[1] https://salsa.debian.org/kernel-team/linux/-/merge_requests/957#note_507817


Thanks!

cheers, josch

Back to linux.debian.kernel | Previous | Next — Next in thread | Find similar | Unroll thread


Thread

Bug#1077827: even with [[featureset]] name = 'rt' enable = false in config.local/defines.toml, linux-headers-*-common-rt is still getting built Johannes Schauer Marin Rodrigues <josch@debian.org> - 2024-08-03 02:00 +0200
  Bug#1077827: even with [[featureset]] name = 'rt' enable = false in config.local/defines.toml, linux-headers-*-common-rt is still getting built Bastian Blank <waldi@debian.org> - 2024-08-07 21:40 +0200
    Bug#1077827: even with [[featureset]] name = 'rt' enable = false in config.local/defines.toml, linux-headers-*-common-rt is still getting built Johannes Schauer Marin Rodrigues <josch@debian.org> - 2024-08-08 00:00 +0200

csiph-web