Update eessi_archdetect.sh

EESSI · Jul 30, 2024 · bbe101b · bbe101b
1 parent 0750f5f
commit bbe101b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/init/eessi_archdetect.sh b/init/eessi_archdetect.sh
@@ -9,7 +9,7 @@ if [ -n "$BASH_VERSION" ]; then
 
     # Check if the major version is 4 or higher
     if [ "$major_version" -lt 4 ]; then
-        echo "Error: This script must be run with Bash > 4, you have $BASH_VERSION." >&2
+        echo "Error: This script must be run with Bash >= 4, you have $BASH_VERSION." >&2
         exit 1
     fi
 else