Bug#1023653: coccinelle: Picks up wrong Python

2022-11-09 Thread Uwe Kleine-König
Control: tag -1 +patch Hello Julia, On 11/8/22 15:44, Julia Lawall wrote: Hello, when I run /usr/bin/spatch -D report --no-show-diff --very-quiet --cocci-file scripts/coccinelle/api/kfree_mismatch.cocci --no-includes --include-headers --dir . -I ./arch/x86/include -I

Bug#1023653: coccinelle: Picks up wrong Python

2022-11-08 Thread Julia Lawall
- Mail original - > De: "Uwe Kleine-König" > À: "Debian Bug Tracking System" > Envoyé: Mardi 8 Novembre 2022 18:55:35 > Objet: Bug#1023653: coccinelle: Picks up wrong Python > Package: coccinelle > Version: 1.1.1.deb-1+b2 > Severity: n

Bug#1023653: coccinelle: Picks up wrong Python

2022-11-08 Thread Uwe Kleine-König
Package: coccinelle Version: 1.1.1.deb-1+b2 Severity: normal X-Debbugs-Cc: uklei...@debian.org, nicolas.pa...@univ-grenoble-alpes.fr, julia.law...@inria.fr Hello, when I run /usr/bin/spatch -D report --no-show-diff --very-quiet --cocci-file scripts/coccinelle/api/kfree_mismatch.cocci -