diff options
-rw-r--r-- | shells/bash/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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 |