From 4c8d592410ca9dc023e554914b0f9f2c90c8b624 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20Martin-Leg=C3=A8ne?= <robert@nic.ar>
Date: Fri, 3 Aug 2018 15:56:15 -0300
Subject: [PATCH] Apparently the change using BASH_VERSION never made it to get
 uploaded? Well, here is the change 'again'. Sorry!

---
 bin/libbfa.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/libbfa.sh b/bin/libbfa.sh
index 69cf254..d88046a 100644
--- a/bin/libbfa.sh
+++ b/bin/libbfa.sh
@@ -11,7 +11,7 @@ function    fatal()
 }
 
 trap "fatal Argh!" ERR
-test "$( basename $SHELL 2>/dev/null )" = "bash"		||
+test -n "$BASH_VERSION"		                                ||
     fatal "This file must be source(d) from bash."
 test "$( caller 2>/dev/null | awk '{print $1}' )" != "0"	||
     fatal "This file must be source(d), not executed."
-- 
GitLab