diff --git a/scripts/Check-System b/scripts/Check-System
index 27dd84c93..2ee50e87d 100755
--- a/scripts/Check-System
+++ b/scripts/Check-System
@@ -74,7 +74,7 @@ if [ -z "`type -p makeinfo`" ] ; then
 fi
 
 case $BASH_VERSION in
-  2.05b*) ;;
+  2.05b*|3.*) ;;
   *)	echo "The running bash version is not listed as supported version"
 	echo "You need to update 'bash' to at least version 2.05b."
 	found_error=1