diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,5 +1,11 @@ #!/bin/bash +if [ "${BASH_VERSINFO[0]}" -lt 4 ]; then + echo "Your BASH shell version (${BASH_VERSION}) is too old." >&2 + echo "Run bootstrap on a machine with BASH 4.x" >&2 + exit 1 +fi + ######################################## # Common meta-language implementation. Syntax: # |