Re: [PATCH v4 01/19] scripts/clean-includes: Fully skip / ignore files

2023-01-30 Thread Markus Armbruster
"Michael S. Tsirkin" writes: > On Thu, Jan 19, 2023 at 07:59:41AM +0100, Markus Armbruster wrote: >> When clean-includes claims to skip or ignore a file, only the part >> that sanitizes use of qemu/osdep.h skips the file. The part that >> looks for duplicate #include does not, and neither does

Re: [PATCH v4 01/19] scripts/clean-includes: Fully skip / ignore files

2023-01-28 Thread Michael S. Tsirkin
On Thu, Jan 19, 2023 at 07:59:41AM +0100, Markus Armbruster wrote: > When clean-includes claims to skip or ignore a file, only the part > that sanitizes use of qemu/osdep.h skips the file. The part that > looks for duplicate #include does not, and neither does committing to > Git. > > The latter

Re: [PATCH v4 01/19] scripts/clean-includes: Fully skip / ignore files

2023-01-27 Thread Eric Blake
On Thu, Jan 19, 2023 at 07:59:41AM +0100, Markus Armbruster wrote: ... > > Fix the script to fully skip files. > > Fixes: fd3e39a40ca2ee26b09a5de3149af8b056b85233 > Fixes: d66253e46ae2b9c36a9dd90b2b74c0dfa5804b22 > Signed-off-by: Markus Armbruster > --- > scripts/clean-includes | 8 +--- >

[PATCH v4 01/19] scripts/clean-includes: Fully skip / ignore files

2023-01-18 Thread Markus Armbruster
When clean-includes claims to skip or ignore a file, only the part that sanitizes use of qemu/osdep.h skips the file. The part that looks for duplicate #include does not, and neither does committing to Git. The latter can get unrelated stuff included in the commit, but only if you run