Page MenuHomeFreeBSD

D3231.diff
No OneTemporary

D3231.diff

Index: head/shells/bash/Makefile
===================================================================
--- head/shells/bash/Makefile
+++ head/shells/bash/Makefile
@@ -4,7 +4,7 @@
PORTNAME= bash
PATCHLEVEL= 39
PORTVERSION= 4.3.${PATCHLEVEL:S/^0//g}
-PORTREVISION?= 2
+PORTREVISION?= 3
CATEGORIES= shells
MASTER_SITES= GNU/${PORTNAME}
DISTNAME= ${PORTNAME}-${PORTVERSION:R}
@@ -74,6 +74,9 @@
CONFIGURE_ARGS+= --enable-static-link
.else
CONFIGURE_ARGS+= --disable-static-link
+# Bash symbols must be exported in order to link runtime plugins, i.e.,
+# "enable -f". (Plugins are not supported for bash-static.)
+CFLAGS+= -Wl,-export-dynamic
.endif
post-patch:

File Metadata

Mime Type
text/plain
Expires
Thu, Sep 10, 8:59 AM (12 h, 53 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
38638363
Default Alt Text
D3231.diff (676 B)

Event Timeline