Re: [PATCH] scripts/checkpatch: emit a warning if an imported file is touched

On Wed, Jul 17, 2024 at 11:58:46AM GMT, Cornelia Huck wrote: On Wed, Jul 17 2024, Stefano Garzarella wrote: If a file imported from Linux is touched, emit a warning and suggest using scripts/update-linux-headers.sh Signed-off-by: Stefano Garzarella --- scripts/checkpatch.pl | 14 +++

Re: [PATCH] scripts/checkpatch: emit a warning if an imported file is touched

On Wed, Jul 17, 2024 at 10:50:51AM GMT, Daniel P. Berrangé wrote: On Wed, Jul 17, 2024 at 11:37:52AM +0200, Stefano Garzarella wrote: If a file imported from Linux is touched, emit a warning and suggest using scripts/update-linux-headers.sh Signed-off-by: Stefano Garzarella --- scripts/checkp

Re: [PATCH] scripts/checkpatch: emit a warning if an imported file is touched

On Wed, Jul 17 2024, Stefano Garzarella wrote: > If a file imported from Linux is touched, emit a warning and suggest > using scripts/update-linux-headers.sh > > Signed-off-by: Stefano Garzarella > --- > scripts/checkpatch.pl | 14 -- > 1 file changed, 12 insertions(+), 2 deletions(

Re: [PATCH] scripts/checkpatch: emit a warning if an imported file is touched

On Wed, Jul 17, 2024 at 11:37:52AM +0200, Stefano Garzarella wrote: > If a file imported from Linux is touched, emit a warning and suggest > using scripts/update-linux-headers.sh > > Signed-off-by: Stefano Garzarella > --- > scripts/checkpatch.pl | 14 -- > 1 file changed, 12 inserti

[PATCH] scripts/checkpatch: emit a warning if an imported file is touched

If a file imported from Linux is touched, emit a warning and suggest using scripts/update-linux-headers.sh Signed-off-by: Stefano Garzarella --- scripts/checkpatch.pl | 14 -- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/scripts/checkpatch.pl b/scripts/checkpatch.pl