Hi! On Thu, Aug 07, 2025 at 01:22:19PM +0200, Ralf Treinen wrote: > > The command is what the kernel makefile runs when one does: > > make coccicheck MODE=report > > Strange. I cannot reproduce this. Maybe the problem is I installed sid into chroot using mmdebstrap on stable. I will try a regular install using qemu the next week.
> What happens on your system when you execute, in the source tree of the > debian package of coccinelle, ./debian/tests/cocci-demo ? That passes, but I think it's because ./demos/simple.cocci doesn't use python. Thanks, Petr
