--- configure.orig 2021-03-27 02:46:15 UTC +++ configure @@ -2790,7 +2790,7 @@ bash_major=`$SH_PROG -c 'echo ${BASH_VERSINFO[0]}'` bash_minor=`$SH_PROG -c 'echo ${BASH_VERSINFO[1]}'` bash_5_or_greater=no case "${bash_major}.${bash_minor}" in - '5.0' | '5.0') + '5.0' | '5.0' | '5.1' | '5.2') bash_5_or_greater=yes ;; *)