Frantisek Sumsal d7a137510a coverity: explicitly use bash instead of sh ...

On Ubuntu `/bin/sh` is a symlink to `/bin/dash`, which doesn't support
certain builtins used by the Coverity script (namely pushd/popd)

2019-11-05 13:28:13 -08:00

..

check-reallocarray.sh

Fix redirect in check-reallocarray (#7)

2019-01-07 20:34:42 -08:00

coverity.sh

coverity: explicitly use bash instead of sh

2019-11-05 13:28:13 -08:00

sync-kernel.sh

sync: ignore test_libbpf.c

2019-10-29 09:25:36 -07:00