diff options
author | Alexey Neyman <stilor@att.net> | 2018-01-20 19:32:44 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-20 19:32:44 (GMT) |
commit | 59e52b28137f520f4868cc6e538b6a6021a9c979 (patch) | |
tree | c185754e9268a85fa6551af8edaaba2d59e89eb7 | |
parent | adaa3a5d8b4e2834a8c2c79efcdd3c718236ba5a (diff) | |
parent | 0ea428bab5e9bd8836168850f33e885c54d4c112 (diff) |
Merge pull request #895 from upsuper/patch-1
Use /usr/bin/env to locate bash
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash if [ "${BASH_VERSINFO[0]}" -lt 4 ]; then echo "Your BASH shell version (${BASH_VERSION}) is too old." >&2 |