git: 5891055c231a - main - devel/bashdb: Fix build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 28 Aug 2025 17:41:28 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=5891055c231a784536d6d1bbd26ed3f5a88dde9c
commit 5891055c231a784536d6d1bbd26ed3f5a88dde9c
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-08-28 17:38:41 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-08-28 17:41:22 +0000
devel/bashdb: Fix build
Reported by: fallout
---
devel/bashdb/files/patch-configure | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/devel/bashdb/files/patch-configure b/devel/bashdb/files/patch-configure
index 25ed8c36baaf..698eaacce988 100644
--- a/devel/bashdb/files/patch-configure
+++ b/devel/bashdb/files/patch-configure
@@ -5,7 +5,7 @@
bash_5_or_greater=no
case "${bash_major}.${bash_minor}" in
- '5.0' | '5.0')
-+ '5.0' | '5.0' | '5.1' | '5.2')
++ '5.0' | '5.0' | '5.1' | '5.2' | '5.3')
bash_5_or_greater=yes
;;
*)