diff --git a/bootstrap b/bootstrap index f5784cd5..d01a7de5 100755 --- a/bootstrap +++ b/bootstrap @@ -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: #