--- configure.orig 2018-11-17 08:14:41 UTC +++ configure @@ -12454,7 +12454,7 @@ bash_major=`$SH_PROG -c 'echo ${BASH_VERSINFO[0]}'` bash_minor=`$SH_PROG -c 'echo ${BASH_VERSINFO[1]}'` bash_4_or_greater=no case "${bash_major}.${bash_minor}" in - '4.4' | '4.1' | '4.2' | '4.3') + '4.4' | '4.1' | '4.2' | '4.3' | '5.0' ) bash_4_or_greater=yes ;; *)