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
..
2019-10-02 08:16:10 -07:00
2020-11-11 16:50:43 +01:00
2019-08-24 00:35:44 +00:00
2020-07-16 15:46:06 -04:00
2020-10-01 06:08:37 -04:00