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