diff options
author | Xidorn Quan <github@upsuper.org> | 2018-01-06 01:35:33 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-06 01:35:33 (GMT) |
commit | 0ea428bab5e9bd8836168850f33e885c54d4c112 (patch) | |
tree | c185754e9268a85fa6551af8edaaba2d59e89eb7 /config/config.in | |
parent | adaa3a5d8b4e2834a8c2c79efcdd3c718236ba5a (diff) |
Use /usr/bin/env to locate bash
On some systems (e.g. macOS), the bash provided by the system at `/bin/bash` is not new enough for the bootstrap script, while users may install a bash instance elsewhere. In that case, `/usr/bin/env` can get the bash in the current environment.
Diffstat (limited to 'config/config.in')
0 files changed, 0 insertions, 0 deletions