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-08 00:00 +0200
Message-ID	<J8WRj-3pMX-3@gated-at.bofh.it> (permalink)
References	<J7alI-2iI2-7@gated-at.bofh.it> <J8UFP-3ovf-7@gated-at.bofh.it> <J7alI-2iI2-7@gated-at.bofh.it> <J8UFP-3ovf-7@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

Quoting Bastian Blank (2024-08-07 21:31:57)
> On Sat, Aug 03, 2024 at 01:52:47AM +0200, Johannes Schauer Marin Rodrigues wrote:
> > 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.
> 
> No bug in Debian, as we don't push this modification to Debian.  But
> fixed in https://salsa.debian.org/kernel-team/linux/-/merge_requests/1154

Thank you! <3

Back to linux.debian.kernel | Previous | Next — Previous 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