git: db11f37facf2 - main - shells/bash: Switch back to use PORTS_READLINE by default

The branch main has been updated by ehaupt:

URL: https://cgit.FreeBSD.org/ports/commit/?id=db11f37facf2658792af5696ad270598ebfab519

commit db11f37facf2658792af5696ad270598ebfab519
Author:     Emanuel Haupt <ehaupt@FreeBSD.org>
AuthorDate: 2022-11-19 11:31:51 +0000
Commit:     Emanuel Haupt <ehaupt@FreeBSD.org>
CommitDate: 2022-11-19 11:32:05 +0000

    shells/bash: Switch back to use PORTS_READLINE by default
    
    Now that devel/readline has been updated, switch back to use
    PORTS_READLINE by default.
---
 shells/bash/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/shells/bash/Makefile b/shells/bash/Makefile
index 418bffc314aa..46c4626e61bd 100644
--- a/shells/bash/Makefile
+++ b/shells/bash/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=		bash
 PATCHLEVEL=		9
 PORTVERSION=		5.2.${PATCHLEVEL:S/^0//g}
+PORTREVISION=		1
 CATEGORIES=		shells
 MASTER_SITES=		GNU
 DISTNAME=		${PORTNAME}-${PORTVERSION:R}
@@ -35,7 +36,7 @@ PORTDOCS=		FAQ INTRO CHANGES COMPAT NEWS POSIX RBASH README \
 
 OPTIONS_DEFINE=		FDESCFS PORTS_READLINE HELP NLS STATIC SYSBASHRC \
 			SYSLOG DOCS
-OPTIONS_DEFAULT=	HELP
+OPTIONS_DEFAULT=	HELP PORTS_READLINE
 OPTIONS_SUB=		yes
 
 FDESCFS_DESC=		Enable use of /dev/fd