From 2dfa203872a73fb7b6aa4ccd440864cba74a8777 Mon Sep 17 00:00:00 2001
From: Alexey Neyman <stilor@att.net>
Date: Fri, 18 Aug 2017 23:55:24 -0700
Subject: Require bash4 to run bootstrap

Fixes #797

(or, at least makes it fail gracefully with an advice)

Signed-off-by: Alexey Neyman <stilor@att.net>

diff --git a/bootstrap b/bootstrap
index f5784cd..d01a7de 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:
 #
-- 
cgit v0.10.2-6-g49f6