>> systems like macOS that neither have or use '/bin/bash'. > > Apple changed the default shell for new users to zsh about 5 years > ago, but bash is still there. I don't oppose making the build > scripts more portable, but let's not misunderstand the situation.
OK, thanks – let's see whether the new code makes a build succeed on
Carl's computer; otherwise I have to continue my investigations.
Note that on OpenBSD, `bash` resides in `/usr/local/bin` if you
install it via `pkg_add`.
Werner
