diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-03-27 02:52:44 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-03-27 02:52:44 +0000 |
| commit | 569fbb806d9ee813afa8b27d2098a44f93433922 (patch) | |
| tree | d30e2816ffd83a1daad0dd693c60e32f86770703 /devel/bashdb/files/patch-configure | |
| parent | devel/bitkeeper: pet portlint: compress man pages (diff) | |
devel/bashdb: Unbreak
Notes
Notes:
svn path=/head/; revision=569289
Diffstat (limited to 'devel/bashdb/files/patch-configure')
| -rw-r--r-- | devel/bashdb/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/bashdb/files/patch-configure b/devel/bashdb/files/patch-configure new file mode 100644 index 000000000000..25ed8c36baaf --- /dev/null +++ b/devel/bashdb/files/patch-configure @@ -0,0 +1,11 @@ +--- 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 + ;; + *) |