Page MenuHomeFreeBSD

D3231.id.diff
No OneTemporary

D3231.id.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
Tue, Nov 18, 8:12 AM (17 h, 48 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
25492615
Default Alt Text
D3231.id.diff (676 B)

Event Timeline