1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-29 10:18:30 +00:00

lang/python38: Use ECHO_CMD instead of ECHO

This commit is contained in:
Po-Chuan Hsieh 2021-07-19 01:54:09 +08:00
parent 03985c51e2
commit fea814f5a4
No known key found for this signature in database
GPG Key ID: 9A4BD10F002DD04B

View File

@ -117,9 +117,9 @@ post-patch:
@${REINPLACE_CMD} -e 's|uuid/uuid.h|ignore_&|' ${WRKSRC}/configure
@${REINPLACE_CMD} -e '/find_library_file/ s|uuid|ignore_&|' ${WRKSRC}/setup.py
# Apply DISABLED_EXTENSIONS
@${ECHO} '*disabled*' > ${WRKSRC}/Modules/Setup.local
@${ECHO_CMD} '*disabled*' > ${WRKSRC}/Modules/Setup.local
. for _module in ${DISABLED_EXTENSIONS}
@${ECHO} ${_module} >> ${WRKSRC}/Modules/Setup.local
@${ECHO_CMD} ${_module} >> ${WRKSRC}/Modules/Setup.local
. endfor
post-install: