[Picolibc] [PATCH v2] Change #!/bin/bash shebangs to #!/bin/sh

[Leon Schuermann]

Keith Packard <keithp at keithp.com> writes:
> I've taken this patch, added some other cleanups inspired by
> 'shellcheck' and removed some of the scripts which aren't used any
> longer. I pushed result to the 'shell-lint' branch where it is being
> tested at github.
>
> The run-* scripts are used during the test builds.
>
> Thanks for your fix!

Awesome, thank you!