Luca BRUNO b4e4005f56 sh: fix bash shebang ... This updates a couple of shebangs for scripts using bash `pipefail` option.		2020-11-11 16:50:43 +01:00
..
prow
build-check.sh
build.sh
ci-commitmessage-submodules.sh
codestyle.sh	sh: fix bash shebang	2020-11-11 16:50:43 +01:00
cosa-build.sh
installdeps.sh
libbuild.sh
msrv.sh
vmcheck-provision.sh