Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1207511
| 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.
[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.bugs.dist | Previous | Next — Previous in thread | Find similar | Unroll 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