diff options
Diffstat (limited to 'bootstrap')
-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 |