ports/devel/bashdb/files/patch-configure
2021-03-27 02:52:44 +00:00

11 lines
338 B
Text

--- 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
;;
*)