On Wed, Nov 27, 2024 at 04:10:21PM +0100, Kristof Provost wrote: > On 27 Nov 2024, at 15:31, Konstantin Belousov wrote: > > The branch main has been updated by kib: > > > > URL: > > https://cgit.FreeBSD.org/src/commit/?id=45d108ee147cc8776a659578da585b31a0ba5643 > > > > commit 45d108ee147cc8776a659578da585b31a0ba5643 > > Author: Konstantin Belousov <k...@freebsd.org> > > AuthorDate: 2024-11-27 14:26:53 +0000 > > Commit: Konstantin Belousov <k...@freebsd.org> > > CommitDate: 2024-11-27 14:30:52 +0000 > > > > pf_route6(): one more __sdt_used annotation > > Thanks! > > I thought I’d fixed that when you reported the initial problem, but clearly I > missed one. > > I wonder if we shouldn’t remove options KDTRACE_HOOKS from at least one > kernel config to improve the odds of catching mistakes like this one > pre-commit. > >From MINIMAL maybe?
Perhaps it should be removed from LINT. Initial idea around it was that LINT should complement options in other kernels configs, I believe.
