[<prev] [next>] [day] [month] [year] [list]
Message-ID: <07da64ca-e645-4a29-bc21-c3065ad5a3c4@web.de>
Date: Thu, 23 Jan 2025 13:05:54 +0100
From: Markus Elfring <Markus.Elfring@....de>
To: Ricardo Ribalda <ribalda@...gle.com>, cocci@...ia.fr,
Easwar Hariharan <eahariha@...ux.microsoft.com>
Cc: LKML <linux-kernel@...r.kernel.org>, kernel-janitors@...r.kernel.org,
Andrew Morton <akpm@...ux-foundation.org>
Subject: Re: [cocci] linux-next: virtual rule report not supported
> While trying out linux-next I have hit an error in cocci:
>
> $make coccicheck M="$dir" MODE=report
> ...
> /usr/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
> /workdir/scripts/coccinelle/misc/secs_to_jiffies.cocci --patch
> /workdir --dir . -I /workdir/arch/x86/include -I
> /workdir/arch/x86/include/generated -I /workdir/include -I
> /workdir/include -I /workdir/arch/x86/include/uapi -I
> /workdir/arch/x86/include/generated/uapi -I /workdir/include/uapi -I
> /workdir/include/generated/uapi --include
> /workdir/include/linux/compiler-version.h --include
> /workdir/include/linux/kconfig.h --jobs 64 --chunksize 1
> virtual rule report not supported
> coccicheck failed
> make[1]: Leaving directory '/workdir/drivers/media'
> make[2]: *** [/workdir/Makefile:2094: coccicheck] Error 255
> make[1]: *** [/workdir/Makefile:251: __sub-make] Error 2
> make: *** [Makefile:251: __sub-make] Error 2
>
> Deleting scripts/coccinelle/misc/secs_to_jiffies.cocci "works"
Would you like to increase the development attention for better support
of involved operation modes?
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/dev-tools/coccinelle.rst?h=v6.13#n71
Regards,
Markus
Powered by blists - more mailing lists