diff options
-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 |
![]() |
index : crosstool-ng.git | |
Unnamed repository; edit this file 'description' to name the repository. |
aboutsummaryrefslogtreecommitdiff |
-rwxr-xr-x | bootstrap | 2 |
@@ -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 |