Changes in make coccicheck and improve a semantic patch

This branch makes a couple of changes in make coccicheck related to
shell commands.

It also updates the api/atomic_as_refcounter semantic patch to include
WARNING in the output message, as done in other cases.

Signed-off-by: Julia Lawall <>
scripts: coccicheck: Use /usr/bin/env

If bash is not located under /bin, coccicheck fails to run.  In the real
world, this happens for instance when NixOS is used in the host.  Instead,
use /usr/bin/env to locate the executable binary for bash.

Signed-off-by: Jarkko Sakkinen <>
Tested-by: Deepak R Varma <>
Signed-off-by: Julia Lawall <>
1 file changed