On 2024-02-10 07:52, Werner LEMBERG wrote:
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.
-- Dan
